Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 17 Jan
Times are displayed in 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 - 17:03
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 - 17:16
Talk
An algebraic theory of conditioning
LAFI
Dario SteinUniversity of Oxford, Sam StatonUniversity of Oxford
File Attached
17:16 - 17:30
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 - 18:12
Talk
Enzyme: High-Performance Automatic Differentiation of LLVM
LAFI
William S. MosesMassachusetts Institute of Technology, Valentin ChuravyMIT CSAIL
18:12 - 18:25
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 - 18:38
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 - 18:51
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 MansinghkaMIT
Media Attached
18:51 - 19:04
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 - 19:17
Talk
Genify.jl: Transforming Julia into Gen to enable programmable inference
LAFI
Tan Zhi-XuanMassachusetts Institute of Technology, McCoy R. BeckerCharles River Analytics, Vikash MansinghkaMIT
Media Attached File Attached
19:17 - 19:30
Talk
Probabilistic Inference Using Generators: the Statues Algorithm
LAFI
Pierre Denisindependent scholar
Link to publication DOI Pre-print Media Attached File Attached

Sun 17 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)