Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021
Online
Toggle navigation
Attending
Venue: Online (How to POPL in 2021)
Supporting POPL
Student Volunteers
Code of Conduct
Registration
FAQ
Program
Complete Program
Your Program
Sun 17 Jan
Mon 18 Jan
Tue 19 Jan
Wed 20 Jan
Thu 21 Jan
Fri 22 Jan
Tracks
POPL 2021
POPL
Artifact Evaluation
Workshops and Co-located Events
TutorialFest
Student Research Competition
Student Volunteers
POPL Meetups
Co-hosted Conferences
CPP
CPP
CPP
Lightning Talks
PLMW
VMCAI
Workshops
CoqPL
LAFI
PEPM
PriSC
Co-hosted Symposia
PADL
Organization
POPL 2021 Committees
Organizing Committee
Track Committees
POPL
Artifact Evaluation
TutorialFest
Student Research Competition
Student Volunteers
Contributors
People Index
Co-hosted Conferences
CPP
Organization Committee
Program Committee
Steering Committee
PLMW
Invited Speakers
Panelists
Organizing Committee
VMCAI
Invited Speakers
Organizing Committee
Program Committee
Artifact Evaluation Committee
Workshops
CoqPL
Invited speaker
Organizing Committee
Program Committee
LAFI
Organizing Committee
Program Committee
Steering Committee
PEPM
Organizing Committee
Program Committee
Steering Committee
PriSC
Program Committee
Steering Committee
Co-hosted Symposia
PADL
Programme Chairs
Programme Committee
Search
Series
Series
POPL 2025
POPL 2024
POPL 2023
POPL 2022
POPL 2021
POPL 2020
POPL 2019
POPL 2018
POPL 2017
POPL 2016
Sign in
Sign up
POPL 2021
(
series
) /
Online (How to POPL in 2021)
/
Room information: LAFI
Venue
Online (How to POPL in 2021)
Room name
LAFI
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
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, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07:00) Mountain Time (US & Canada)
(GMT-07:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-06:00) Central Time (US & Canada)
(GMT-05:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+02:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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 17 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
16:00 - 16:50
Invited talk: Vikash K. Mansinghka
LAFI
at
LAFI
Chair(s):
Jean-Baptiste Tristan
Boston College
16:50 - 17:30
Session 1
LAFI
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
Gordon Plotkin
Google
,
Martín Abadi
Google
File Attached
18:00 - 19:30
Session 2
LAFI
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
Sun 17 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
16:00
30
17:00
30
18:00
30
19:00
30
LAFI
LAFI
Invited talk: Vikash K. Mansinghka
LAFI
Session 1
LAFI
Session 2
Sun 17 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
LAFI
LAFI
Binary Tree Hamiltonian Monte Carlo
16:50 - 17:03
LAFI
An algebraic theory of conditioning
17:03 - 17:16
LAFI
The Selection Monad and Decision-Making Languages
17:16 - 17:30
LAFI
Enzyme: High-Performance Automatic Differentiation of LLVM
18:00 - 18:12
LAFI
Parametric Inversion of Non-Invertible Programs
18:12 - 18:25
LAFI
Bayesian Neural Ordinary Differential Equations
18:25 - 18:38
LAFI
On the Automatic Derivation of Importance Samplers from Pairs of Probab ...
18:38 - 18:51
LAFI
Decomposing reverse-mode automatic differentiation
18:51 - 19:04
LAFI
Genify.jl: Transforming Julia into Gen to enable programmable inference
19:04 - 19:17
LAFI
Probabilistic Inference Using Generators: the Statues Algorithm
19:17 - 19:30
x
Sat 5 Oct 05:57