McCoy R. Becker
where else to find them
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 4 in the filters
on a stage with
all 14 in the filters
who talks about the same things
- Xiaoyan Wang4 talks
- Matin Ghavami5 talks
- Martin C. Rinard12 talks
- Vikash K. Mansinghka24 talks
- Alexander K. Lew21 talks
- Mathieu Huot11 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… | ||
| 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… | ||
| 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… | ||
| nothing matches | ||