Martin C. Rinard
where else to find them
no profile links on file
what they talk about
all 7 in the filters
where they keep going back
- PLDI Workshop Honoring Andreas Podelski3 editions2023–2026
- LAFI2 editions2024–2026
all 5 in the filters
on a stage with
all 21 in the filters
who talks about the same things
- Vikash K. Mansinghka24 talks
- Alexander K. Lew21 talks
- Matin Ghavami5 talks
- McCoy R. Becker4 talks
- Xiaoyan Wang4 talks
- Jack Czenszak4 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… | ||
| 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… | ||
| 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 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… | ||
| Probabilistic Programming with Stochastic Probabilities | PLDI 2023 | 2023-06-17 |
Claims a compiler and runtime that let expressive probabilistic programs use noisy density estimates while preserving sound inference by design. It introduces… | ||
| Verifying Low-dimensional Input Neural Networks via Input Quantization | SAS 2021 | 2021-10-17 |
Prepending an input quantization layer maps every low‑dimensional input to the original ACAS Xu grid so pretrained networks need no retraining and run… | ||
| Exploiting Verified Neural Networks via Floating Point Numerical Error | SAS 2021 | 2021-10-17 |
A verification gap lets machine-precision disagree with the verifier: using MIPVerify on CIFAR10 and MNIST with a 2/255 bound the authors programmatically… | ||
| nothing matches | ||