Wonyeol Lee
where else to find them
what they talk about
where they keep going back
- POPL2 editions2023–2026
on a stage with
all 6 in the filters
who talks about the same things
- Hongseok Yang9 talks
- Xavier Rival7 talks
- Yizhou Zhang13 talks
- Dongjae Lee5 talks
- Mathieu Huot11 talks
- Sam Staton18 talks
| title | conference | date |
|---|---|---|
| Optimising Density Computations in Probabilistic Programs via Automatic Loop Vectorisation | POPL 2026 | 2026-01-11 |
Automatic vectorisation translates imperative PPL loops into a tensor-ready target with a Pyro implementation that runs loop iterations via speculative… | ||
| Semantics of Integrating and Differentiating Singularities | PLDI 2025 | 2025-06-16 |
A formal semantics for programs that evaluate and differentiate singular integrals, giving a denotational model and an operational Monte Carlo estimator that… | ||
| 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… | ||
| Smoothness Analysis for Probabilistic Programs with Application to Optimised Var... | POPL 2023 | 2023-01-15 |
A static analysis discovers which fragments of a probabilistic program are differentiable and which are not, then applies the pathwise gradient estimator to… | ||
| nothing matches | ||