Long Pham
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Feras A. Saad2×
- Jan Hoffmann2×
- Di Wangonce
who talks about the same things
- Jan Hoffmann9 talks
- Di Wang12 talks
- Jianlin Li3 talks
- Steven Holtzen12 talks
- Yizhou Zhang13 talks
- Michael Carbin14 talks
| title | conference | date |
|---|---|---|
| Programmable MCMC with Soundly Composed Guide Programs | OOPSLA 2024 | 2024-10-20 |
Implements a coroutine-based framework and a type system that encodes the message protocol between a model program and a sequence of block-wise guide programs… | ||
| Robust Resource Bounds with Static Analysis and Bayesian Inference | PLDI 2024 | 2024-06-24 |
Claims a combined static/data technique that actually implements and evaluates a hybrid: it integrates automatic amortized resource analysis (AARA) with… | ||
| nothing matches | ||