Write a Blog >>
POPL 2020
Sun 19 - Sat 25 January 2020
New Orleans, Louisiana, United States
Toggle navigation
Attending
Venue: JW Marriott New Orleans
Restaurant: Palace Cafe
Registration
Online Participation
Travel to the USA
Mentoring Events
Information for Students
Code of Conduct
Supporting POPL
Accessibility
SIGPLAN CARES
Program
POPL Program
Your Program
Filter by Day
Sun 19 Jan
Mon 20 Jan
Tue 21 Jan
Wed 22 Jan
Thu 23 Jan
Fri 24 Jan
Sat 25 Jan
Tracks
POPL 2020
Research Papers
Artifact Evaluation
Student Research Competition
Workshops and Co-located Events
TutorialFest
POPLmark 15 Year Retrospective Panel
Ally Skills Session
LGBTQ Lunch
Mentoring Breakfasts
W@POPL Dinner
Student Volunteers
Co-hosted Conferences
CPP
VMCAI
Workshops
ADSL
CoqPL
HASE
LAFI
(né PPS)
PEPM
PLMW
PLanQC
PriSC
PriSC
Principles of Secure Compilation
- Lucet: A Compiler and Runtime for High-Concurrency Low-Latency Sandboxing
WGT
Co-hosted Symposia
PADL
Organization
POPL 2020 Committees
Organizing Committee
Steering Committee
Track Committees
Research Papers
Artifact Evaluation
Student Research Competition
TutorialFest
POPLmark 15 Year Retrospective Panel
Panel
Organizing Committee
Ally Skills Session
LGBTQ Lunch
Mentoring Breakfasts
W@POPL Dinner
Student Volunteers
Contributors
People Index
Co-hosted Conferences
CPP
Program Committee
VMCAI
Invited Speakers
Organizing Committee
Program Committee
Artifact-Evaluation Committee
Steering Committee
Workshops
ADSL
Organizing Committee
Program Committee
CoqPL
Invited speakers
Organizing Committee
Program Committee
HASE
Organizing Committee
Program Committee
LAFI
Program Committee
Steering Committee
PEPM
PC Chairs
Program Committee
PLMW
Organizing Committee
Invited speakers
Panelists
PLanQC
Organizing Committee
Program Committee
PriSC
Program Committee
Steering Committee
WGT
Organizing Committee
Program Committee
Co-hosted Symposia
PADL
Program Chairs
Program Committee
Publicity Chair
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 2020
(
series
) /
JW Marriott New Orleans
/
Room information: St Claude
Venue
JW Marriott New Orleans
Room name
St Claude
Floor
3
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-06:00) Saskatchewan, Central America
.
Use conference time zone: (GMT-06:00) Saskatchewan, Central America
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
Tue 21 Jan
Displayed time zone:
Saskatchewan, Central America
change
09:00 - 10:00
A
LAFI
at
St Claude
09:00
60m
Talk
Invited talk: Nonstandard Interpretation in Pyro
LAFI
I:
Fritz Obermeyer
Pre-print
10:30 - 12:30
B
LAFI
at
St Claude
10:30
30m
Talk
A Differential-form Pullback Programming Language for Higher-order Reverse-mode Automatic Differentiation
LAFI
Carol Mak
University of Oxford
,
C.-H. Luke Ong
University of Oxford
11:00
30m
Talk
A Monad for Point Processes
LAFI
Swaraj Dash
University of Oxford
,
Sam Staton
University of Oxford
File Attached
11:30
30m
Talk
Denotational Semantics for Differentiable Programming with Manifolds
LAFI
Jesse Sigal
University of Edinburgh
12:00
30m
Talk
Backpropagation in the Simply Typed Lambda-calculus with Linear Negation
LAFI
Aloïs Brunel
Deepomatic
,
Damiano Mazza
CNRS
,
Michele Pagani
IRIF - Université de Paris
14:00 - 15:05
C
LAFI
at
St Claude
14:00
30m
Talk
Divide, Conquer, and Combine: a New Inference Strategy for Probabilistic Programs with Stochastic Support
LAFI
Yuan Zhou
University of Oxford
,
Hongseok Yang
KAIST
,
Yee Whye Teh
University of Oxford
,
Tom Rainforth
Department of Statistics, University of Oxford
14:32
15m
Talk
MetaPPL: Inference Algorithms as First-Class Generative Models
LAFI
Alexander K. Lew
Massachusetts Institute of Technology, USA
,
Benjamin Sherman
Massachusetts Institute of Technology, USA
,
Marco Cusumano-Towner
MIT-CSAIL
,
Austin Garrett
MIT
,
Ben Zinberg
MIT
,
Vikash K. Mansinghka
MIT
,
Michael Carbin
Massachusetts Institute of Technology
File Attached
14:49
16m
Talk
Monte Carlo Semantic Differencing of Probabilistic Programs
LAFI
Marco Cusumano-Towner
MIT-CSAIL
,
Vikash K. Mansinghka
MIT
15:35 - 17:45
D
LAFI
at
St Claude
15:35
30m
Talk
Coinductive Trees for Exact Inference of Probabilistic Programs
LAFI
Alexander Bagnall
Ohio University
,
Gordon Stewart
Ohio University
,
Anindya Banerjee
IMDEA Software Institute
16:05
30m
Talk
Name generation and Higher-order Probabilistic Programming (Or is new=rnd?)
LAFI
Dario Stein
University of Oxford
,
Sam Staton
University of Oxford
,
Michael Wolman
McGill University
File Attached
16:35
30m
Talk
Density Functions of Statistical Probabilistic Programs
LAFI
Tom Mattinson
University of Oxford
,
C.-H. Luke Ong
University of Oxford
17:05
30m
Talk
Probabilistic Programming around Gaussian Processes
LAFI
David Tolpin
PUB+
17:35
10m
Day closing
Closing
LAFI
Tue 21 Jan
Displayed time zone:
Saskatchewan, Central America
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
St Claude
LAFI
A
LAFI
B
LAFI
C
LAFI
D
Tue 21 Jan
Displayed time zone:
Saskatchewan, Central America
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
St Claude
LAFI
Invited talk: Nonstandard Interpretation in Pyro
09:00 - 10:00
LAFI
A Differential-form Pullback Programming Language for Higher-order Reve ...
10:30 - 11:00
LAFI
A Monad for Point Processes
11:00 - 11:30
LAFI
Denotational Semantics for Differentiable Programming with Manifolds
11:30 - 12:00
LAFI
Backpropagation in the Simply Typed Lambda-calculus with Linear Negation
12:00 - 12:30
LAFI
Divide, Conquer, and Combine: a New Inference Strategy for Probabilisti ...
14:00 - 14:30
LAFI
MetaPPL: Inference Algorithms as First-Class Generative Models
14:32 - 14:47
LAFI
Monte Carlo Semantic Differencing of Probabilistic Programs
14:49 - 15:05
LAFI
Coinductive Trees for Exact Inference of Probabilistic Programs
15:35 - 16:05
LAFI
Name generation and Higher-order Probabilistic Programming (Or is new=rnd?)
16:05 - 16:35
LAFI
Density Functions of Statistical Probabilistic Programs
16:35 - 17:05
LAFI
Probabilistic Programming around Gaussian Processes
17:05 - 17:35
LAFI
Closing
17:35 - 17:45
x
Fri 6 Dec 19:08