Matin Ghavami
where else to find them
what they talk about
all 4 in the filters
where they keep going back
- LAFI2 editions2024–2026
on a stage with
all 13 in the filters
who talks about the same things
- McCoy R. Becker4 talks
- Martin C. Rinard12 talks
- Xiaoyan Wang4 talks
- Vikash K. Mansinghka24 talks
- Mathieu Huot11 talks
- Alexander K. Lew21 talks
| title | conference | date |
|---|---|---|
| Event-based Design Abstractions for Agent Harnesses | PAgE 2026 | 2026-06-15 |
Proposes an event-driven harness where a durable append-only event log is the single source of truth, with independent facets that fold over the log to derive… | ||
| A Design for Massively Parallel Gibbs Sampling on the GPU via Static and Dynamic(…) | LAFI 2026 | 2026-01-11 |
Design enables massively parallel Gibbs sampling on GPUs by combining a factor-based intermediate representation for static graph-coloring to expose… | ||
| Probabilistic Programming with Programmable Variational Inference | PLDI 2024 | 2024-06-24 |
Proposes a compositional, provably correct route to variational inference that turns user-written model, guide, and objective programs into unbiased gradient… | ||
| GenSQL: A Probabilistic Programming System for Querying Generative Models of Database(…) | PLDI 2024 | 2024-06-24 |
GenSQL is a SQL extension that runs Bayesian queries over generative table models, provides a unified model API (supports PPLs, GLMs, CTGAN, and a… | ||
| MultiSPPL: extending SPPL with multivariate leaf nodes | LAFI 2024 | 2024-01-14 |
Claims that extending SPPL’s SPN leaves with a SPINNY interface of five methods (sample, PDF, prop, condition, constrain) guarantees closure under conditioning… | ||
| nothing matches | ||