John M. Li
where else to find them
no profile links on file
what they talk about
where they keep going back
- PLDI Workshop Honoring Andreas Podelski3 editions2023–2026
on a stage with
all 7 in the filters
who talks about the same things
- Steven Holtzen12 talks
- Brianna Marshall4 talks
- Amal Ahmed25 talks
- Jack Czenszak4 talks
- Joseph Tassarotti20 talks
- Alejandro Aguirre10 talks
| title | conference | date |
|---|---|---|
| Categorical Semantics of Probabilistic Symbolic Execution | PLDI 2026 | 2026-06-15 |
Builds a denotational universe where symbolic execution is a presheaf model and proves a single metatheorem: any definitional interpreter written in the… | ||
| 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… | ||
| Lilac: A Modal Separation Logic for Conditional Probability | PLDI 2023 | 2023-06-17 |
Lilac presents a separation logic that models probability spaces as heap-like resources and defines an independent combination operator that interprets… | ||
| nothing matches | ||