A Word Sampler for Well-Typed Functions (LAFI 2026) - POPL 2026

Sun 11 - Sat 17 January 2026 Rennes, France

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 12:20 - 12:30 at Salle 13 - Second Session Chair(s): Hugo Paquet

Abstract

We describe an exact sampler for a simply-typed, first-order functional programming language. Given an acyclic finite automaton, α_∅, it samples a random function uniformly without replacement from well-typed functions in L(α_∅). This is achieved via a fixed-parameter tractable reduction from a syntax-directed type system to a context-free grammar, preserving type soundness and completeness w.r.t. L(α_∅), while retaining the robust metatheory of formal languages.

Link to Preprint

https://arxiv.org/pdf/2512.01036

File attachments

Poster (lafi_poster.pdf)	116KiB

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 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

Hide past events

Breandan Considine

Breandan Considine