POPL 2025
Sun 19 - Sat 25 January 2025 Denver, Colorado, United States

This program is tentative and subject to change.

Sun 19 Jan 2025 14:57 - 15:12 at Peek-A-Boo - Third session

Hamiltonian Monte Carlo (HMC) is one of the most popular MCMC inference methods. The No-U-Turn Sampler (NUTS), an adaptive extension of HMC, eliminates the need to tune trajectory lengths, to which HMC is sensitive. Generalizing HMC, the Nonparametric HMC (NP-HMC) algorithm can be applied to models with a parameter space of varying dimension.

We introduce NP-NUTS, a hybrid of NUTS and NP-HMC. This new algorithm automatically adjusts trajectory lengths and gives a dynamically tuned version of NP-HMC. We address the main challenges in devising NP-NUTS: ensuring correct and efficient sampling from the constructed tree, and adjusting the stopping conditions to preserve detailed balance.

This program is tentative and subject to change.

Sun 19 Jan

Displayed time zone: Mountain Time (US & Canada) change

14:00 - 15:30
Third sessionLAFI at Peek-A-Boo
14:00
40m
Talk
Invited talk: Modern Bayesian experimental design
LAFI
Desi R. Ivavona University of Oxford
14:41
15m
Talk
Partially Evaluating Higher-Order Probabilistic Programs without Stochastic Recursion to Graphical Models
LAFI
Christian Weilbach University of British Columbia, Frank Wood University of Oxford
14:57
15m
Talk
NP-NUTS: A Nonparametric No-U-Turn Sampler
LAFI
Maria-Nicoleta Craciun University of Oxford, C.-H. Luke Ong NTU, Sam Staton University of Oxford, Matthijs Vákár Utrecht University
15:13
15m
Talk
Sandwood: Runtime Adaptable Probabilistic Programming for Java
LAFI
Daniel Goodman Oracle Labs, Adam Pocock Oracle Labs, Natalia Kosilova Oracle Labs