Brianna Marshall
where else to find them
what they talk about
where they keep going back
no series more than once — all 4 in the filters
on a stage with
all 14 in the filters
who talks about the same things
- John M. Li4 talks
- Andrew Wagner6 talks
- Olek Gierczak3 talks
- Steven Holtzen12 talks
- Jack Czenszak4 talks
- Amal Ahmed25 talks
| title | conference | date |
|---|---|---|
| Specifying ABIs with Realizability and Type-Preserving Compilation | PriSC 2026 | 2026-01-11 |
Claims a Realizability model for RichWasm that interprets source types as sets of WebAssembly configurations so a type-preserving compiler yields a memory-safe… | ||
| From Linearity to Borrowing | OOPSLA 2025 | 2025-10-16 |
Builds a lightweight borrowing extension on a linear lambda calculus and implements the API as untyped terms validated by logic, not new runtime primitives… | ||
| Roulette: A Language for Expressive, Exact, and Efficient Discrete Probabilistic(…) | PLDI 2025 | 2025-06-16 |
Roulette claims to be the first discrete PPL that pairs exact, scalable inference with a large subset of Racket features (data structures, first‑class… | ||
| An Incremental Approach to the Semantics of Borrowing | HOPE 2024 | 2024-09-02 |
Presents a core, extensible borrow calculus built incrementally: start from a linear call-by-push-value core, add immutable borrows, lifetimes, mutable… | ||
| nothing matches | ||