Program - POPL 2023

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT-05:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-05:00) Eastern Time (US & Canada)Select 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 15 Jan
Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:30	First SessionLAFI at Scollay Chair(s): Steven Holtzen Northeastern University, Christine Tasson Sorbonne Université — LIP6

09:00 5m Day opening		Opening Comments LAFI Christine Tasson Sorbonne Université — LIP6, Steven Holtzen Northeastern University
09:05 60m Keynote		Introduction to the tensor-programs framework, a PL approach that helps analyse theoretical properties of deep learning.Boston LAFI A: Hongseok Yang KAIST; IBS
10:10 10m Talk		Exact Inference for Discrete Probabilistic Programs via Generating FunctionsParis LAFI A: Fabian Zaiser University of Oxford, C.-H. Luke Ong University of Oxford File Attached
10:20 10m Talk		Exact Probabilistic Inference Using Generating FunctionsBoston LAFI A: Lutz Klinkenberg RWTH Aachen University, Tobias Winkler RWTH Aachen University, Mingshuai Chen RWTH Aachen, Joost-Pieter Katoen RWTH Aachen University File Attached

11:00 - 12:30	Second SessionLAFI at Scollay Chair(s): Steven Holtzen Northeastern University, Christine Tasson Sorbonne Université — LIP6

11:00 20m Talk		What do posterior distributions of probabilistic programs look like?Boston LAFI Mathieu Huot University of Oxford, A: Alexander K. Lew Massachusetts Institute of Technology, Vikash K. Mansinghka Massachusetts Institute of Technology, Sam Staton University of Oxford File Attached
11:20 10m Talk		Semantics of Probabilistic Program TracesBoston LAFI Alexander K. Lew Massachusetts Institute of Technology, A: Eli Sennesh Northeastern University, Jan-Willem Van De Meent University of Amsterdam, Vikash Mansinghka Massachusetts Institute of Technology File Attached
11:30 10m Talk		A convenient category of tracing measure kernelsBoston LAFI A: Eli Sennesh Northeastern University, Jan-Willem Van De Meent University of Amsterdam File Attached
11:45 5m Talk		Random probability distributions as natural transformationsParis LAFI A: Victor Blanchi ENS Paris, Hugo Paquet University of Oxford File Attached
11:50 5m Talk		Static Delayed Sampling for Probabilistic Programming LanguagesParis LAFI A: Gizem Caylak KTH Royal Institute of Technology, Daniel Lundén KTH Royal Institute of Technology, Viktor Senderov Naturhistoriska riksmuseet, David Broman KTH Royal Institute of Technology
11:55 5m Talk		Denotational semantics of languages for inference: semirings, monads, and tensorsOnline LAFI Cristina Matache University of Edinburgh, A: Sean Moss University of Oxford, Sam Staton University of Oxford, Ariadne Si Suo University of Oxford
12:10 5m Talk		Separated and Shared Effects in Higher-Order LanguagesBoston LAFI A: Pedro Henrique Azevedo de Amorim Cornell University, Justin Hsu Cornell University
12:15 5m Talk		On Iteration in Discrete Probabilistic ProgrammingBoston LAFI A: Mateo Torres-Ruiz , Robin Piedeleu University of Oxford, Alexandra Silva Cornell University, Fabio Zanasi University College London File Attached
12:20 5m Talk		Bit-Blasting Probabilistic ProgramsBoston LAFI A: Poorva Garg University of California, Los Angeles, Steven Holtzen Northeastern University, Guy Van den Broeck University of California at Los Angeles, Todd Millstein University of California at Los Angeles File Attached
12:25 5m Talk		πMPC: Automatic Security Proofs for MPC ProtocolsBoston LAFI A: Mako P. Bates University of Vermont, Joseph P. Near University of Vermont

14:00 - 15:30	Third SessionLAFI at Scollay Chair(s): Steven Holtzen Northeastern University, Christine Tasson Sorbonne Université — LIP6

14:00 20m Talk		The Variable Elimination Algorithm as a Let-Term RewritingParis LAFI Thomas Ehrhard CNRS and University Paris Diderot, Claudia Faggian Université de Paris & CNRS, A: Michele Pagani IRIF - Université de Paris Cité
14:20 20m Talk		Contextual source code AD transformations for sum typesOnline LAFI Adam Paszke Google Research, A: Gordon Plotkin Google File Attached
14:45 5m Talk		Pitfalls of Full Bayesian Inference in Universal Probabilistic ProgrammingOnline LAFI A: Tim Reichelt University of Oxford, C.-H. Luke Ong University of Oxford, Tom Rainforth Department of Statistics, University of Oxford File Attached
14:50 5m Talk		∂ is for Dialectica: typing differentiable programmingOnline LAFI A: Marie Kerjean CNRS, Université Sorbonne Paris Nord, Pierre-Marie Pédrot INRIA
15:00 5m Talk		On the Reparameterisation Gradient for Non-Differentiable but Continuous ModelsBoston LAFI C.-H. Luke Ong NTU, A: Dominik Wagner University of Oxford File Attached
15:05 5m Talk		Partial Evaluation of Forward-Mode Automatic DifferentiationBoston LAFI A: Oscar Eriksson KTH Royal Institute of Technology, Viktor Palmkvist KTH Royal Institute of Technology, David Broman KTH Royal Institute of Technology
15:10 5m Talk		Distribution Theoretic Semantics for Non-Smooth Differentiable ProgrammingBoston LAFI Pedro Henrique Azevedo de Amorim Cornell University, A: Christopher Lam University of Illinois at Urbana-Champaign
15:15 5m Talk		New foundations for probabilistic separation logicBoston LAFI A: John Li Northeastern University, Amal Ahmed Northeastern University, USA, Steven Holtzen Northeastern University File Attached
15:20 5m Talk		Verified Reversible Programming for Verified Lossless CompressionBoston LAFI A: James Townsend University of Amsterdam, Jan-Willem Van De Meent University of Amsterdam
15:25 5m Talk		Towards type-driven data-science in Idris LAFI Ohad Kammar University of Edinburgh, Katarzyna Marek University of Edinburgh, Minh Nguyen University of Bristol, Michel Steuwer University of Edinburgh, Jacob Walters University of Edinburgh, Robert Wright The University of Edinburgh, UK

	16:00 - 18:00	Poster SessionLAFI at Scollay Chair(s): Steven Holtzen Northeastern University

LAFI 2023 Program

Sun 15 Jan
Displayed time zone: Eastern Time (US & Canada) change

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

LAFI 2023 Program

Switch Program View

Program Display Configuration

Sun 15 JanDisplayed time zone: Eastern Time (US & Canada) change

Get Calendar (iCal)

Sun 15 Jan
Displayed time zone: Eastern Time (US & Canada) change