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

Dates
Sun 19 Jan 2025
Rooms
Peek-A-Boo
Tracks
LAFI
Badges
Nothing to filter
Your Program
Nothing to filter
You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 19 Jan

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

09:00 - 10:30
First sessionLAFI at Peek-A-Boo
Chair(s): Matthijs Vákár Utrecht University
09:00
5m
Day opening
Welcome
LAFI
Matthijs Vákár Utrecht University, Atılım Güneş Baydin University of Oxford
09:06
20m
Industry talk
Industry Talk: Basis - Programming Languages as Core Technology for AI
LAFI
09:27
15m
Talk
Towards Symbolic Execution for Probability and Non-determinism
LAFI
Jack Czenszak Northeastern University, John Li Northeastern University, Steven Holtzen Northeastern University
File Attached
09:43
15m
Talk
Lazy Knowledge Compilation for Discrete PPLs
LAFI
Maddy Bowers Massachusetts Institute of Technology, Alexander K. Lew Massachusetts Institute of Technology, Joshua B. Tenenbaum Massachusetts Institute of Technology, Vikash K. Mansinghka Massachusetts Institute of Technology, Armando Solar-Lezama Massachusetts Institute of Technology
09:59
15m
Talk
Reasoning About Sampling Without Sampling: Atomic Machines for Contextual Equivalence in Probabilistic Programs
LAFI
Anthony D'Arienzo University of Illinois and Sandia National Laboratories, Jon Aytac Sandia National Laboratories
10:15
15m
Talk
Exact Inference for Nested Discrete Probabilistic Programs (Remote)
LAFI
File Attached
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
14:00 - 15:30
Third sessionLAFI at Peek-A-Boo
Chair(s): Matthijs Vákár Utrecht University
14:00
40m
Talk
Invited talk: Modern Bayesian Experimental Design
LAFI
Desi R. Ivavona University of Oxford
14:41
15m
Talk
Semantics of the memo Probabilistic Programming Language
LAFI
Kartik Chandra MIT, Nada Amin Harvard University, Yizhou Zhang University of Waterloo
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
File Attached
15:13
15m
Talk
Sandwood: Runtime Adaptable Probabilistic Programming for Java (Remote)
LAFI
Daniel Goodman Oracle Labs, Adam Pocock Oracle Labs, Natalia Kosilova Oracle Labs
File Attached
16:00 - 17:30
Fourth sessionLAFI at Peek-A-Boo
Chair(s): Atılım Güneş Baydin University of Oxford
16:00
15m
Talk
Partially Evaluating Higher-Order Probabilistic Programs without Stochastic Recursion to Graphical Models (Remote)
LAFI
Christian Weilbach University of British Columbia, Frank Wood University of Oxford
16:16
15m
Talk
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
55m
Other
Poster session
LAFI

17:28
2m
Day closing
Closing remarks
LAFI
Atılım Güneş Baydin University of Oxford
:
: