Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 17 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 16:50
Invited talk: Vikash K. MansinghkaLAFI at LAFI
Chair(s): Jean-Baptiste Tristan Boston College
16:50 - 17:30
Session 1LAFI at LAFI
Chair(s): Jean-Baptiste Tristan Boston College
16:50
13m
Talk
Binary Tree Hamiltonian Monte Carlo
LAFI
Carol Mak University of Oxford, Fabian Zaiser University of Oxford, C.-H. Luke Ong University of Oxford
File Attached
17:03
13m
Talk
An algebraic theory of conditioning
LAFI
Dario Stein University of Oxford, Sam Staton University of Oxford
File Attached
17:16
13m
Talk
The Selection Monad and Decision-Making Languages
LAFI
File Attached
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 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

Sun 17 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change