Mathieu Huot
where else to find them
no profile links on file
what they talk about
where they keep going back
- LAFI3 editions2022–2024
- PLDI Workshop Honoring Andreas Podelski2 editions2024–2026
- POPL2 editions2023–2026
all 4 in the filters
on a stage with
all 23 in the filters
who talks about the same things
- Vikash K. Mansinghka24 talks
- Alexander K. Lew21 talks
- Matin Ghavami5 talks
- Sam Staton18 talks
- Martin C. Rinard12 talks
- Jonathan Ragan-Kelley12 talks
| title | conference | date |
|---|---|---|
| GradInf: Gradient Estimation as Probabilistic Inference | PLDI 2026 | 2026-06-15 |
Introduces GradInf, a source-to-source system that reduces gradient-of-expectation problems to probabilistic inference by synthesizing an inference target via… | ||
| Probabilistic Programming with Vectorized Programmable Inference | POPL 2026 | 2026-01-11 |
GenJAX is a Python-embedded language and compiler that integrates JAX and exposes a vmap vectorization transformation to vectorize probabilistic traces… | ||
| 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… | ||
| Reverse mode ADEV via YOLO: tangent estimators transpose to gradient estimators | LAFI 2024 | 2024-01-14 |
Claims an automated pipeline that converts ADEV's forward-mode tangent estimators into a reverse-mode estimator by applying YOLO’s unzip and transposition… | ||
| Compiling Structured Tensor Algebra | OOPSLA 2023 | 2023-10-23 |
Framework compiles tensor algebra while symbolically computing sparsity and redundancy at compile time, using an intermediate language STUR and a compiler… | ||
| Functional collection programming with semi-ring dictionaries | OOPSLA 2023 | 2023-10-23 |
A new intermediate language implements semi-ring dictionaries and a statically typed DSL SDQL that represents sets, multisets, vectors, matrices and sparse… | ||
| What do posterior distributions of probabilistic programs look like? | LAFI 2023 | 2023-01-15 |
Defines s-Hausdorff measures and proves any probabilistic program with piecewise analytic primitives denotes a measure that has a density w.r.t. some… | ||
| ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Progra... | POPL 2023 | 2023-01-15 |
ADEV is a source-to-source extension of forward-mode AD that transforms a probabilistic program into another whose expected return equals the derivative of the… | ||
| Towards Denotational Semantics of AD for Higher-Order, Recursive, Probabilistic | LAFI 2022 | 2022-01-16 |
Extends Lee et al. (2020) to a higher-order, recursive, probabilistic language and proves every program denotes omega-PAP functions and that AD yields correct… | ||
| nothing matches | ||