Eric Atkinson
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
on a stage with
all 10 in the filters
who talks about the same things
- Michael Carbin14 talks
- Steven Holtzen12 talks
- Yizhou Zhang13 talks
- Mathieu Huot11 talks
- Joshua B. Tenenbaum11 talks
- Alexander K. Lew21 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… | ||
| Conflict-Driven Synthesis for Layout Engines | PLDI 2023 | 2023-06-17 |
Medea synthesizes incremental layout engines from an attribute grammar specification plus a traversal sketch, using symbolic execution to produce concrete… | ||
| 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… | ||
| Simplifying Multiple-Statement Reductions with the Polyhedral Model | POPL 2021 | 2021-01-17 |
Paper formalizes simplifying dependent reductions as an integer bilinear program over reuse vectors and polyhedral schedules and shows it is hard to solve… | ||
| Programming and Reasoning with Partial Observability | OOPSLA 2020 | 2020-11-15 |
Presents belief programming plus Epistemic Hoare Logic and a new language BLIMP that treat program state as a set of environments and use box/diamond… | ||
| nothing matches | ||