On the Automatic Derivation of Importance Samplers from Pairs of Probabilistic Programs (LAFI 2021) - POPL 2021

Write a Blog >>

Sun 17 - Fri 22 January 2021 Online

Who

Alexander K. Lew, Ben Sherman, Marco Cusumano-Towner, Michael Carbin, Vikash K. Mansinghka

Track

Time Zone

The program is currently displayed in (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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 17 Jan 2021 18:38 - 18:51 at LAFI - Session 2 Chair(s): Dougal Maclaurin

Alexander K. Lew

Massachusetts Institute of Technology, USA

United States

Ben Sherman

Marco Cusumano-Towner

MIT-CSAIL

Michael Carbin

Massachusetts Institute of Technology

Vikash K. Mansinghka

MIT

On automating the estimation of Radon-Nikodym derivatives for probabilistic programs

Time Zone

The program is currently displayed in (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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 17 Jan
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	18:00 - 19:30	Session 2LAFI at LAFI Chair(s): Dougal Maclaurin Google Research

	18:00 12m Talk		Enzyme: High-Performance Automatic Differentiation of LLVM LAFI William S. Moses Massachusetts Institute of Technology, Valentin Churavy MIT CSAIL
	18:12 12m Talk		Parametric Inversion of Non-Invertible Programs LAFI Zenna Tavares Massachusetts Institute of Technology, Javier Burroni University of Massachusetts Amherst, Edgar Minasyan Princeton University, David Morejon Massachusetts Institute of Technology, Armando Solar-Lezama Massachusetts Institute of Technology File Attached
	18:25 12m Talk		Bayesian Neural Ordinary Differential Equations LAFI Raj Dandekar MIT, Vaibhav Dixit Julia Computing, Mohamed Tarek UNSW Canberra, Australia, Aslan Garcia Valadez National Autonomous University of Mexico, Chris Rackauckas MIT Pre-print Media Attached File Attached
	18:38 12m Talk		On the Automatic Derivation of Importance Samplers from Pairs of Probabilistic Programs LAFI Alexander K. Lew Massachusetts Institute of Technology, USA, Ben Sherman , Marco Cusumano-Towner MIT-CSAIL, Michael Carbin Massachusetts Institute of Technology, Vikash K. Mansinghka MIT Media Attached
	18:51 12m Talk		Decomposing reverse-mode automatic differentiation LAFI Roy Frostig Google Research, Matthew J. Johnson Google Brain, Dougal Maclaurin Google Research, Adam Paszke Google Research, Alexey Radul Google Research File Attached
	19:04 12m Talk		Genify.jl: Transforming Julia into Gen to enable programmable inference LAFI Tan Zhi-Xuan Massachusetts Institute of Technology, McCoy R. Becker Charles River Analytics, Vikash K. Mansinghka MIT Media Attached File Attached
	19:17 12m Talk		Probabilistic Inference Using Generators: the Statues Algorithm LAFI Pierre Denis independent scholar Link to publication DOI Pre-print Media Attached File Attached