POPL 2025
Sun 19 - Sat 25 January 2025 Denver, Colorado, United States
Sun 19 Jan 2025 11:57 - 12:12 at Peek-A-Boo - Second session Chair(s): Atılım Güneş Baydin

This submission describes an reimplementation of the core data structure of LazyPPL, the lazy rose tree, using techniques from data oriented design with the aim of reducing memory usage and increasing performance. On top of this, we implement an reverse-mode autodiff graph specialized to computing the gradients of the values of the lazy rose tree with respect to the score of the probabilistic program.

Sun 19 Jan

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

11:00 - 12:30
Second sessionLAFI at Peek-A-Boo
Chair(s): Atılım Güneş Baydin University of Oxford
11:00
40m
Talk
Invited talk: TORAX - A Fast and Differentiable Tokamak Transport Simulator in JAX (Remote)
LAFI
Jonathan Citrin Google Deepmind
11:41
15m
Talk
Data-Parallel Differentiation by Optic Composition
LAFI
Paul Wilson University of Southampton, Fabio Zanasi University College London
11:57
15m
Talk
Data-oriented Design for Differentiable, Probabilistic Programming (Remote)
LAFI
Owen Lynch University of Oxford, Maria-Nicoleta Craciun University of Oxford, Younesse Kaddar University of Oxford, Sam Staton University of Oxford
12:13
15m
Talk
A Domain-Specific PPL for Reasoning about Reasoning (or: a memo on memo)
LAFI
Kartik Chandra MIT, Tony Chen MIT, Joshua B. Tenenbaum Massachusetts Institute of Technology, Jonathan Ragan-Kelley Massachusetts Institute of Technology