POPL 2022 (series) / LAFI 2022 (series) /
LAFI 2022 Program
This is the LAFI 2022 program - see the full program for POPL 2022 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 16 JanDisplayed time zone: Eastern Time (US & Canada) change
Sun 16 Jan
Displayed time zone: Eastern Time (US & Canada) change
09:00 - 10:00 | KeynoteLAFI at LAFI Chair(s): Cameron Freer Massachusetts Institute of Technology, Ohad Kammar University of Edinburgh | ||
09:00 60mKeynote | Abstract types in probabilistic programmingRemote LAFI Sam Staton University of Oxford File Attached |
10:20 - 12:00 | |||
10:20 33mTalk | Probabilistic and Differentiable Programming in Scientific SimulatorsRemote LAFI Atılım Güneş Baydin Department of Engineering Science, University of Oxford File Attached | ||
10:53 33mTalk | Stateful processes in probabilistic programming Remote LAFI Hugo Paquet University of Cambridge File Attached | ||
11:26 33mTalk | Programming Languages for Automatic Differentiation: What Now?Remote LAFI Damiano Mazza CNRS File Attached |
13:30 - 14:45 | |||
13:30 37mTalk | JAX: accelerating ML research with composable function transformationsRemote LAFI Roy Frostig Google Research | ||
14:07 37mTalk | Scalable structure learning and inference for domain-specific probabilistic programsRemote LAFI Feras Saad Massachusetts Institute of Technology |
15:05 - 16:20 | |||
15:05 18mTalk | Towards Denotational Semantics of AD for Higher-Order, Recursive, Probabilistic LanguagesRemote LAFI Alexander K. Lew Massachusetts Institute of Technology, USA, Mathieu Huot Oxford University, Vikash K. Mansinghka MIT File Attached | ||
15:23 18mTalk | A Language and Smoothed Semantics for Convergent Stochastic Gradient DescentRemote LAFI File Attached | ||
15:42 18mTalk | Nonparametric Involutive Markov Chain Monte CarloRemote LAFI Carol Mak University of Oxford, Fabian Zaiser University of Oxford, C.-H. Luke Ong University of Oxford File Attached | ||
16:01 18mTalk | Rigorous Approximation of Posterior Inference for Probabilistic ProgramsRemote LAFI Fabian Zaiser University of Oxford, Raven Beutner CISPA Helmholtz Center for Information Security, Germany, C.-H. Luke Ong University of Oxford File Attached |
16:40 - 17:30 | KeynoteLAFI at LAFI Chair(s): Ohad Kammar University of Edinburgh, Christine Tasson Sorbonne Université — LIP6 | ||
16:40 50mKeynote | Program Analysis of Probabilistic ProgramsRemote LAFI Maria I. Gorinova The University of Edinburgh File Attached |