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

Conference Day
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 TristanBoston College
16:50 - 17:30
Session 1LAFI at LAFI
Chair(s): Jean-Baptiste TristanBoston College
16:50
13m
Talk
Binary Tree Hamiltonian Monte Carlo
LAFI
Carol MakUniversity of Oxford, Fabian ZaiserUniversity of Oxford, C.-H. Luke OngUniversity of Oxford
File Attached
17:03
13m
Talk
An algebraic theory of conditioning
LAFI
Dario SteinUniversity of Oxford, Sam StatonUniversity 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 MaclaurinGoogle Research
18:00
12m
Talk
Enzyme: High-Performance Automatic Differentiation of LLVM
LAFI
William S. MosesMassachusetts Institute of Technology, Valentin ChuravyMIT CSAIL
18:12
12m
Talk
Parametric Inversion of Non-Invertible Programs
LAFI
Zenna TavaresMassachusetts Institute of Technology, Javier BurroniUniversity of Massachusetts Amherst, Edgar MinasyanPrinceton University, David MorejonMassachusetts Institute of Technology, Armando Solar-LezamaMassachusetts Institute of Technology
File Attached
18:25
12m
Talk
Bayesian Neural Ordinary Differential Equations
LAFI
Raj DandekarMIT, Vaibhav DixitJulia Computing, Mohamed TarekUNSW Canberra, Australia, Aslan Garcia ValadezNational Autonomous University of Mexico, Chris RackauckasMIT
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. LewMassachusetts Institute of Technology, USA, Ben Sherman, Marco Cusumano-TownerMIT-CSAIL, Michael CarbinMassachusetts Institute of Technology, Vikash K. MansinghkaMIT
Media Attached
18:51
12m
Talk
Decomposing reverse-mode automatic differentiation
LAFI
Roy FrostigGoogle Research, Matthew JohnsonGoogle Brain, Dougal MaclaurinGoogle Research, Adam PaszkeGoogle Research, Alexey RadulGoogle Research
File Attached
19:04
12m
Talk
Genify.jl: Transforming Julia into Gen to enable programmable inference
LAFI
Tan Zhi-XuanMassachusetts Institute of Technology, McCoy R. BeckerCharles River Analytics, Vikash K. MansinghkaMIT
Media Attached File Attached
19:17
12m
Talk
Probabilistic Inference Using Generators: the Statues Algorithm
LAFI
Pierre Denisindependent scholar
Link to publication DOI Pre-print Media Attached File Attached

Conference Day
Sun 17 Jan

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