Jack Czenszak
where else to find them
no profile links on file
what they talk about
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2025–2026
on a stage with
all 8 in the filters
who talks about the same things
- Fabian Zaiser11 talks
- Martin C. Rinard12 talks
- Steven Holtzen12 talks
- Alexander K. Lew21 talks
- John M. Li4 talks
- Vikash K. Mansinghka24 talks
| title | conference | date |
|---|---|---|
| Incremental Computation for Efficient Programmable Inference in Probabilistic Programs | PLDI 2026 | 2026-06-15 |
Compiles probabilistic programs to deterministic density functions, then applies a compositional incrementalization based on the incremental lambda calculus… | ||
| 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… | ||
| Nominal Semantics for First-class Automatic Differentiation | LAFI 2026 | 2026-01-11 |
Formalizes the popular tagged forward-mode AD (used in JAX, Julia, early PyTorch) as a meaning-preserving compiler from a simply typed lambda calculus with… | ||
| 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… | ||
| nothing matches | ||