Monte Carlo Analysis of Probabilistic Programs (LAFI 2026) - POPL 2026

Sun 11 - Sat 17 January 2026 Rennes, France

Who

A. Zhao, David Walker

Track

This program is tentative and subject to change.

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

When

Sun 11 Jan 2026 11:45 - 11:55 at Salle 13 - Second Session

Abstract

This paper outlines MCAPP (Monte Carlo Analysis of Probabilistic Programs), a technique to reason about numerical values for expected outputs in probabilistic programming languages with probabilistically approximately correct guarantees.

A. Zhao

Princeton

David Walker

Princeton University

United States

This program is tentative and subject to change.

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

Session Program

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

	11:00 - 12:30	Second SessionLAFI at Salle 13

	11:00 45m Keynote		Keynote LAFI Dario Stein
	11:45 10m Talk		Monte Carlo Analysis of Probabilistic Programs LAFI A. Zhao Princeton, David Walker Princeton University
	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 File Attached
	12:07 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:18 10m Talk		A Word Sampler for Well-Typed Functions LAFI Breandan Considine Pre-print