Program - POPL 2026

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT+01:00) Brussels, Copenhagen, Madrid, Paris.

Use conference time zone: (GMT+01:00) Brussels, Copenhagen, Madrid, ParisSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 11 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

09:00 - 10:30	First SessionLAFI at Salle 13 Chair(s): Alexander K. Lew Yale University

09:00 5m Day opening		Welcome LAFI Hugo Paquet Inria, École Normale Supérieure, Alexander K. Lew Yale University
09:07 20m Industry talk		Basis — A Programming Languages Take on Principled Foundations for AI LAFI Kiran Gopinathan Basis
09:29 10m Talk		Towards an Equational Calculus of Interventions LAFI Shubh Agrawal Northeastern University, Jialu Bao Northeastern University, Steven Holtzen Northeastern University Pre-print
09:41 10m Talk		Typed Abstractions for Causal Probabilistic Programming LAFI Theo Wang University of Cambridge, University of Oxford, Dario Stein University of Oxford, Eli Bingham Broad Institute, Jack Feser Basis, Ohad Kammar University of Edinburgh, Michael Lee University of Cambridge, UK, Jeremy Yallop University of Cambridge File Attached
09:53 10m Talk		A Design for Massively Parallel Gibbs Sampling on the GPU via Static and Dynamic Analysis of Probabilistic Programs LAFI Matin Ghavami Massachusetts Institute of Technology, Martin C. Rinard Massachusetts Institute of Technology, Vikash Mansinghka Massachusetts Institute of Technology
10:05 10m Talk		A Design Proposal for GraPPL: Probabilistic Programming with Low-Level, High-Performance GPU Programmable Inference LAFI Karen Chung Massachusetts Institute of Technology, Elias Rojas Collins MIT, McCoy Reynolds Becker MIT, Mathieu Huot MIT, Vikash Mansinghka Massachusetts Institute of Technology

11:00 - 12:30	Second SessionLAFI at Salle 13 Chair(s): Hugo Paquet Inria, École Normale Supérieure

11:00 55m Keynote		A Welcome to Causal Probabilistic Programming LAFI Dario Stein
11:56 10m Talk		Verifying Sampling Algorithms via Distributional Invariants LAFI Daniel Zilken , Tobias Winkler RWTH Aachen University, Kevin Batz RWTH Aachen University, Joost-Pieter Katoen RWTH Aachen University Media Attached File Attached
12:08 10m Talk		Sequential Monte Carlo Program Synthesis with Refinement Proposals LAFI Maddy Bowers Massachusetts Institute of Technology, Mauricio Barba da Costa MIT, Xiaoyan Wang Massachusetts Institute of Technology, Joshua B. Tenenbaum Massachusetts Institute of Technology, Vikash Mansinghka Massachusetts Institute of Technology, Armando Solar-Lezama Massachusetts Institute of Technology, Alexander K. Lew Yale University
12:20 10m Talk		A Word Sampler for Well-Typed Functions LAFI Breandan Considine Pre-print File Attached

14:00 - 15:30	Third SessionLAFI at Salle 13 Chair(s): Cameron Freer Massachusetts Institute of Technology

14:00 10m Talk		Towards Compiling Higher-Order Programs to Bayesian Networks LAFI Claudia Faggian CNRS, Université Paris Cité, Gabriele Vanoni IRIF, Université Paris Cité
14:12 10m Talk		On Contextual Distances in Randomized Programming: Amplification and Lower Bounds LAFI Houssein Mansour ISAE-SUPAERO, Raphaëlle Crubillé
14:24 10m Talk		Nominal Semantics for First-class Automatic Differentiation LAFI Jack Czenszak Yale University, Alexander K. Lew Yale University
14:36 10m Talk		Semantic Foundations for Laziness in Discrete Probabilistic Programming LAFI Simon Castellan University of Rennes; Inria; CNRS; IRISA, Tom Hirschowitz Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS, LAMA, 73000 Chambéry, Hugo Paquet Inria, École Normale Supérieure
14:48 10m Talk		Incremental Density Computation for Efficient Programmable Inference LAFI Fabian Zaiser MIT, Vikash Mansinghka Massachusetts Institute of Technology, Alexander K. Lew Yale University
15:00 10m Talk		Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops LAFI Kevin Batz , Adrian Gallus RWTH Aachen University, Darion Haase RWTH Aachen University, Benjamin Lucien Kaminski Saarland University; University College London, Joost-Pieter Katoen RWTH Aachen University, Lutz Klinkenberg RWTH Aachen University, Tobias Winkler RWTH Aachen University
15:12 10m Talk		Probabilistic Programming Meets Automata Theory: Exact Inference using Weighted Automata LAFI Dominik Geißler Technische Universität Berlin, Tobias Winkler RWTH Aachen University File Attached

16:00 - 18:00	Fourth SessionLAFI at Salle 13 Chair(s): Guillaume Baudart Inria

16:00 10m Talk		Multi-Agent Systems for Traceable Bayesian Workflow LAFI Xianda Sun University of Cambridge, Andrew D. Gordon Cogna and University of Edinburgh, Hong Ge University of Cambridge File Attached
16:12 10m Talk		Grammar-Constrained LLM Generation for Reliable and Efficient Probabilistic Program Synthesis LAFI Madhav Kanda University of Illinois Urbana-Champaign, Shubham Ugare Meta, Sasa Misailovic University of Illinois at Urbana-Champaign
16:24 10m Talk		Language-Model Probabilistic Programming for Improving Autoformalization via Cycle Consistency and Incremental Type-Checking LAFI Mauricio Barba da Costa MIT, Fabian Zaiser MIT, Katherine Collins MIT, Romir Patel MIT, Timothy O'Donnell , Alexander K. Lew Yale University, Joshua B. Tenenbaum Massachusetts Institute of Technology, Vikash K. Mansinghka Massachusetts Institute of Technology, Cameron Freer Massachusetts Institute of Technology
16:35 80m Poster		Poster Session LAFI

LAFI 2026 Program

Sun 11 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

LAFI 2026 Program

Switch Program View

Program Display Configuration

Sun 11 JanDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Get Calendar (iCal)

Sun 11 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change