Program - POPL 2024

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT) London.

Use conference time zone: (GMT) LondonSelect 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 14 Jan
Displayed time zone: London change

09:00 - 10:30	First SessionLAFI at Kelvin Lecture Chair(s): Steven Holtzen Northeastern University, Matthijs Vákár Utrecht University

09:00 10m Talk		Opening Remarks LAFI
09:10 60m Keynote		Hong Ge: Bayesian inference using probabilistic programming LAFI Hong Ge University of Cambridge
10:10 20m Talk		Basis Talk LAFI

10:30 - 11:00	BreakCatering at Maxwell Library

10:30 30m Coffee break		Break Catering

10:30 - 11:00	BreakCatering at Siemens Boardroom

10:30 30m Coffee break		Break Catering

11:00 - 12:30	Second SessionLAFI at Kelvin Lecture Chair(s): Steven Holtzen Northeastern University, Matthijs Vákár Utrecht University

11:00 10m Talk		A Tree Sampler for Bounded Context-Free Languages LAFI Breandan Considine McGill University File Attached
11:10 10m Talk		A Multi-language Approach to Probabilistic Program Inference LAFI Sam Stites Northeastern University, Steven Holtzen Northeastern University
11:20 10m Talk		Belief Programming in Partially Observable Probabilistic Environments LAFI Tobias Gürtler Saarland University, Saarland Informatics Campus, Benjamin Lucien Kaminski Saarland University; University College London
11:30 10m Talk		Homomorphic Reverse Differentiation of IterationOnline LAFI Fernando Lucatelli Nunes Utrecht University, Gordon Plotkin Google, Matthijs Vákár Utrecht University File Attached
11:40 10m Talk		MultiSPPL: extending SPPL with multivariate leaf nodes LAFI Matin Ghavami Massachusetts Institute of Technology, Mathieu Huot MIT, Martin C. Rinard Massachusetts Institute of Technology, Vikash K. Mansinghka Massachusetts Institute of Technology
11:50 10m Talk		Reverse mode ADEV via YOLO: tangent estimators transpose to gradient estimators LAFI McCoy Reynolds Becker MIT, Mathieu Huot MIT, Alexander K. Lew Massachusetts Institute of Technology, Vikash K. Mansinghka Massachusetts Institute of Technology
12:00 10m Talk		Sparse Differentiation in Computer Graphics LAFI Kevin Mu University of Washington, Jesse Michel Massachusetts Institute of Technology, William S. Moses Massachusetts Institute of Technology, Shoaib Kamil Adobe Research, Zachary Tatlock University of Washington, Alec Jacobson University of Toronto, Jonathan Ragan-Kelley Massachusetts Institute of Technology
12:10 10m Talk		A slice sampler for the Indian Buffet Process: expressivity in nonparametric probabilistic programming LAFI Maria-Nicoleta Craciun University of Oxford, C.-H. Luke Ong NTU, Hugo Paquet LIPN, Université Sorbonne Paris Nord, Sam Staton University of Oxford
12:20 10m Talk		Effective Sequential Monte Carlo for Language Model Probabilistic Programs LAFI Alexander K. Lew Massachusetts Institute of Technology, Tan Zhi-Xuan Massachusetts Institute of Technology, Gabriel Grand Massachusetts Institute of Technology, Jacob Andreas MIT, Vikash K. Mansinghka Massachusetts Institute of Technology

12:30 - 14:00	LunchCatering at Maxwell Library

12:30 90m Lunch		Lunch Catering

12:30 - 14:00	LunchCatering at Siemens Boardroom

12:30 90m Lunch		Lunch Catering

14:00 - 15:30	Third SessionLAFI at Kelvin Lecture Chair(s): Steven Holtzen Northeastern University, Matthijs Vákár Utrecht University

14:00 10m Talk		Effect Handlers for Choice-Based Learning LAFI Gordon Plotkin Google, Ningning Xie University of Toronto File Attached
14:10 10m Talk		Guaranteed Bounds for Discrete Probabilistic Programs with Loops via Generating Functions LAFI Fabian Zaiser University of Oxford, Andrzej Murawski University of Oxford, C.-H. Luke Ong NTU File Attached
14:20 10m Talk		JuliaBUGS: A Graph-Based Probabilistic Programming Language using BUGS syntax LAFI Xianda Sun University of Cambridge, Philipp Gabler Independent researcher, Andrew Thomas University of Cambridge, Hong Ge University of Cambridge
14:30 10m Talk		Mixture Languages LAFI Oliver Richardson Cornell University, Jialu Bao Cornell University File Attached
14:40 10m Talk		Structured Tensor Algebra for Efficient Discrete Probabilistic Inference LAFI Amir Shaikhha University of Edinburgh
14:50 10m Talk		Towards a Categorical Model of the Lilac Separation Logic LAFI John Li Northeastern University, Jon Aytac Sandia National Laboratories, Philip Johnson-Freyd Sandia National Laboratories, Amal Ahmed Northeastern University, USA, Steven Holtzen Northeastern University File Attached
15:00 10m Talk		Toward Probabilistic Coarse-to-Fine Program Synthesis LAFI Maddy Bowers Massachusetts Institute of Technology, Alexander K. Lew Massachusetts Institute of Technology, Vikash K. Mansinghka Massachusetts Institute of Technology, Joshua B. Tenenbaum Massachusetts Institute of Technology, Armando Solar-Lezama Massachusetts Institute of Technology
15:10 10m Talk		Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial SolvingOnline LAFI Peixin Wang University of Oxford, Hongfei Fu Shanghai Jiao Tong University, Tengshun Yang SKLCS, Institute of Software, Chinese Academy of Sciences & University of Chinese Academy of Sciences, Guanyan Li University of Oxford, C.-H. Luke Ong NTU
15:20 10m Talk		Abstract Interpretation for Automatic DifferentiationOnline LAFI Jacob Laurel University of Illinois at Urbana-Champaign, Siyuan Brant Qian University of Illinois at Urbana-Champaign; Zhejiang University, Gagandeep Singh University of Illinois at Urbana-Champaign; VMware Research, Sasa Misailovic University of Illinois at Urbana-Champaign

15:30 - 16:00	BreakCatering at Maxwell Library

15:30 30m Coffee break		Break Catering

15:30 - 16:00	BreakCatering at Siemens Boardroom

15:30 30m Coffee break		Break Catering

	16:00 - 17:30	Poster and Interactive SessionLAFI at Kelvin Lecture Chair(s): Steven Holtzen Northeastern University, Matthijs Vákár Utrecht University Poster session taking place in the same room as the workshop.

Mon 15 Jan
Displayed time zone: London change

10:30 - 11:00	BreakCatering at Maxwell Library

10:30 30m Coffee break		Break Catering

12:30 - 14:00	LunchCatering at Maxwell Library

12:30 90m Lunch		Lunch Catering

15:30 - 16:00	BreakCatering at Maxwell Library

15:30 30m Coffee break		Break Catering

Tue 16 Jan
Displayed time zone: London change

	10:30 - 11:00	BreakCatering at Maxwell Library

10:30 - 11:00	BreakCatering at Riverside Room

10:30 30m Coffee break		Break Catering

12:30 - 14:00	LunchCatering at Maxwell Library

12:30 90m Lunch		Lunch Catering

12:30 - 14:00	LunchCatering at Riverside Room

12:30 90m Lunch		Lunch Catering

15:30 - 16:00	BreakCatering at Maxwell Library

15:30 30m Coffee break		Break Catering

15:30 - 16:00	BreakCatering at Riverside Room

15:30 30m Coffee break		Break Catering

Sat 20 Jan
Displayed time zone: London change

10:30 - 11:00	BreakCatering at Maxwell Library

10:30 30m Coffee break		Break Catering

10:30 - 11:00	BreakCatering at Riverside Room

10:30 30m Coffee break		Break Catering

10:30 - 11:00	BreakCatering at Siemens Boardroom

10:30 30m Coffee break		Break Catering

12:30 - 14:00	LunchCatering at Maxwell Library

12:30 90m Lunch		Lunch Catering

	12:30 - 14:00	LunchCatering at Riverside Room

12:30 - 14:00	LunchCatering at Siemens Boardroom

12:30 90m Lunch		Lunch Catering

15:30 - 16:00	BreakCatering at Maxwell Library

15:30 30m Coffee break		Break Catering

15:30 - 16:00	BreakCatering at Riverside Room

15:30 30m Coffee break		Break Catering

15:30 - 16:00	BreakCatering at Siemens Boardroom

15:30 30m Coffee break		Break Catering

LAFI 2024 Program

Sun 14 Jan
Displayed time zone: London change

Mon 15 Jan
Displayed time zone: London change

Tue 16 Jan
Displayed time zone: London change

Sat 20 Jan
Displayed time zone: London change

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

LAFI 2024 Program

Switch Program View

Program Display Configuration

Sun 14 JanDisplayed time zone: London change

Mon 15 JanDisplayed time zone: London change

Tue 16 JanDisplayed time zone: London change

Sat 20 JanDisplayed time zone: London change

Get Calendar (iCal)

Sun 14 Jan
Displayed time zone: London change

Mon 15 Jan
Displayed time zone: London change

Tue 16 Jan
Displayed time zone: London change

Sat 20 Jan
Displayed time zone: London change