POPL 2025 (series) / LAFI 2025 (series) /
LAFI 2025 Program
This is the LAFI 2025 program - see the full program for POPL 2025 and all affiliated events.
Filter Program
Dates
Sun 19 Jan 2025
Rooms
Peek-A-Boo
Tracks
LAFI
Badges
Nothing to filter
Your Program
Nothing to filter
Sun 19 JanDisplayed time zone: Mountain Time (US & Canada) change
Sun 19 Jan
Displayed time zone: Mountain Time (US & Canada) change
11:00 - 12:30 | |||
11:00 40mTalk | Invited talk: TORAX - A Fast and Differentiable Tokamak Transport Simulator in JAX (Remote) LAFI Jonathan Citrin Google Deepmind | ||
11:41 15mTalk | Data-Parallel Differentiation by Optic Composition LAFI | ||
11:57 15mTalk | 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 15mTalk | 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 |
14:00 - 15:30 | |||
14:00 40mTalk | Invited talk: Modern Bayesian Experimental Design LAFI Desi R. Ivavona University of Oxford | ||
14:41 15mTalk | Semantics of the memo Probabilistic Programming Language LAFI | ||
14:57 15mTalk | 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 File Attached | ||
15:13 15mTalk | Sandwood: Runtime Adaptable Probabilistic Programming for Java (Remote) LAFI File Attached |
16:00 - 17:30 | |||
16:00 15mTalk | Partially Evaluating Higher-Order Probabilistic Programs without Stochastic Recursion to Graphical Models (Remote) LAFI | ||
16:16 15mTalk | State Space Model Programming in Turing.jl LAFI Tim Hargreaves Department of Engineering, University of Cambridge, Qing Li Department of Engineering, University of Cambridge, Charles Knipp Federal Reserve Board of Governors, USA, Frederic Wantiez , Simon J. Godsill Department of Engineering, University of Cambridge, Hong Ge University of Cambridge File Attached | ||
16:32 55mOther | Poster session LAFI | ||
17:28 2mDay closing | Closing remarks LAFI Atılım Güneş Baydin University of Oxford |