Louis Mandel
where else to find them
what they talk about
where they keep going back
- OOPSLA3 editions2021–2023
on a stage with
all 11 in the filters
who talks about the same things
- Guillaume Baudart3 talks
- Eric Atkinson6 talks
- Steven Holtzen12 talks
- Michael Carbin14 talks
- Jianlin Li3 talks
- Vikash K. Mansinghka24 talks
| title | conference | date |
|---|---|---|
| Inference Plans for Hybrid Particle Filtering | POPL 2025 | 2025-01-19 |
Built Siren, a probabilistic programming language that accepts inference plan annotations to force hybrid particle filtering to keep some random variables… | ||
| Translating canonical SQL to imperative code in Coq | OOPSLA 2023 | 2023-10-23 |
A mechanically verified compiler named DBCert translates a canonical SQL subset with correlated queries and NULL semantics into an imperative language using… | ||
| Semi-symbolic Inference for Efficient Streaming Probabilistic Programming | OOPSLA 2022 | 2022-12-05 |
Semi-symbolic inference implements an automatic Rao-Blackwellized particle filter in ProbZelus by manipulating symbolic expression trees, using a central swap… | ||
| Statically Bounded-Memory Delayed Sampling for Probabilistic Streams | OOPSLA 2021 | 2021-10-17 |
Defines two dataflow conditions, m-consumed and unseparated path, and proves they are necessary and sufficient for delayed sampling to use bounded memory on… | ||
| nothing matches | ||