Feras A. Saad
where else to find them
what they talk about
where they keep going back
- PLDI Workshop Honoring Andreas Podelski3 editions2024–2026
on a stage with
all 14 in the filters
who talks about the same things
- Mathieu Huot11 talks
- Matin Ghavami5 talks
- Alexander K. Lew21 talks
- Vikash K. Mansinghka24 talks
- Martin C. Rinard12 talks
- Cameron E. Freer4 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… | ||
| Random Variate Generation with Formal Guarantees | PLDI 2025 | 2025-06-16 |
Automated synthesis produces exact random variate generators from a finite-precision CDF and a C library implements them using fast integer arithmetic (no… | ||
| 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… | ||
| 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… | ||
| Scalable structure learning and inference for domain-specific probabilistic prog | LAFI 2022 | 2022-01-16 |
Claims an end-to-end pipeline that automatically learns domain-specific probabilistic programs for time series, tabular and relational data and compiles them… | ||
| nothing matches | ||