POPL 2022
Sun 16 - Fri 28 January 2022
Philadelphia, Pennsylvania, United States
Toggle navigation
Attending
Hotel: Westin Philadelphia
Supporting POPL
Accessibility
Visa Information
Registration
Program
POPL Program
Your Program
Filter by Day
Sun 16 Jan
Mon 17 Jan
Tue 18 Jan
Wed 19 Jan
Thu 20 Jan
Fri 21 Jan
Sat 22 Jan
Sun 23 Jan
Mon 24 Jan
Tue 25 Jan
Wed 26 Jan
Thu 27 Jan
Fri 28 Jan
Tracks
POPL 2022
POPL
Student Research Competition
Student Volunteers
TutorialFest
Artifact Evaluation
Workshops and Co-located Events
Virtual Workshop
Diversity, Equity and Inclusion
Co-hosted Conferences
CPP
VMCAI
VMCAI
- Back to the Future: A Fresh Look at Linear Temporal Logic
- Sequential Information Flow
- Simplifying Concurrent Programming via Synchronization Synthesis
Workshops
CoqPL
LAFI
PEPM
PLMW
PriSC
ProLaLa
Programming Languages and the Law
WITS
Co-hosted Symposia
PADL
Organization
POPL 2022 Committees
Organizing Committee
Track Committees
POPL
Student Research Competition
TutorialFest
Artifact Evaluation
Virtual Workshop
Contributors
People Index
Co-hosted Conferences
CPP
Organization Committee
Program Committee
Steering Committee
VMCAI
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
PLMW
Organizing Committee
Invited speakers
Panelists
PriSC
Program Committee
Steering Committee
ProLaLa
Program Committee
WITS
Program 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 2022
(
series
) /
Westin Philadelphia
/
Room information: LAFI
Venue
Westin Philadelphia
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-05:00) Eastern Time (US & Canada)
.
Use conference time zone: (GMT-05:00) Eastern Time (US & Canada)
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 16 Jan
Displayed time zone:
Eastern Time (US & Canada)
change
09:00 - 10:00
Keynote
LAFI
at
LAFI
Chair(s):
Cameron Freer
Massachusetts Institute of Technology
,
Ohad Kammar
University of Edinburgh
09:00
60m
Keynote
Abstract types in probabilistic programming
Remote
LAFI
Sam Staton
University of Oxford
File Attached
10:20 - 12:00
Invited talks
LAFI
at
LAFI
Chair(s):
Andrew D. Gordon
Microsoft Research and University of Edinburgh
10:20
33m
Talk
Probabilistic and Differentiable Programming in Scientific Simulators
Remote
LAFI
Atılım Güneş Baydin
Department of Engineering Science, University of Oxford
File Attached
10:53
33m
Talk
Stateful processes in probabilistic programming
Remote
LAFI
Hugo Paquet
University of Cambridge
File Attached
11:26
33m
Talk
Programming Languages for Automatic Differentiation: What Now?
Remote
LAFI
Damiano Mazza
CNRS
File Attached
13:30 - 14:45
Invited talks
LAFI
at
LAFI
Chair(s):
Damiano Mazza
CNRS
13:30
37m
Talk
JAX: accelerating ML research with composable function transformations
Remote
LAFI
Roy Frostig
Google Research
14:07
37m
Talk
Scalable structure learning and inference for domain-specific probabilistic programs
Remote
LAFI
Feras Saad
Massachusetts Institute of Technology
15:05 - 16:20
Contributed talks
LAFI
at
LAFI
Chair(s):
Christine Tasson
Sorbonne Université — LIP6
15:05
18m
Talk
Towards Denotational Semantics of AD for Higher-Order, Recursive, Probabilistic Languages
Remote
LAFI
Alexander K. Lew
Massachusetts Institute of Technology, USA
,
Mathieu Huot
Oxford University
,
Vikash K. Mansinghka
MIT
File Attached
15:23
18m
Talk
A Language and Smoothed Semantics for Convergent Stochastic Gradient Descent
Remote
LAFI
Dominik Wagner
University of Oxford
,
C.-H. Luke Ong
University of Oxford
File Attached
15:42
18m
Talk
Nonparametric Involutive Markov Chain Monte Carlo
Remote
LAFI
Carol Mak
University of Oxford
,
Fabian Zaiser
University of Oxford
,
C.-H. Luke Ong
University of Oxford
File Attached
16:01
18m
Talk
Rigorous Approximation of Posterior Inference for Probabilistic Programs
Remote
LAFI
Fabian Zaiser
University of Oxford
,
Raven Beutner
CISPA Helmholtz Center for Information Security, Germany
,
C.-H. Luke Ong
University of Oxford
File Attached
16:40 - 17:30
Keynote
LAFI
at
LAFI
Chair(s):
Ohad Kammar
University of Edinburgh
,
Christine Tasson
Sorbonne Université — LIP6
16:40
50m
Keynote
Program Analysis of Probabilistic Programs
Remote
LAFI
Maria I. Gorinova
The University of Edinburgh
File Attached
Sun 16 Jan
Displayed time zone:
Eastern Time (US & Canada)
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
LAFI
LAFI
Keynote
LAFI
Invited talks
LAFI
Invited talks
LAFI
Contributed talks
LAFI
Keynote
Sun 16 Jan
Displayed time zone:
Eastern Time (US & Canada)
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
LAFI
LAFI
Remote
Abstract types in probabilistic programming
09:00 - 10:00
LAFI
Remote
Probabilistic and Differentiable Programming in Scientific Simulators
10:20 - 10:53
LAFI
Remote
Stateful processes in probabilistic programming
10:53 - 11:26
LAFI
Remote
Programming Languages for Automatic Differentiation: What Now?
11:26 - 12:00
LAFI
Remote
JAX: accelerating ML research with composable function transformations
13:30 - 14:07
LAFI
Remote
Scalable structure learning and inference for domain-specific probabili ...
14:07 - 14:45
LAFI
Remote
Towards Denotational Semantics of AD for Higher-Order, Recursive, Proba ...
15:05 - 15:23
LAFI
Remote
A Language and Smoothed Semantics for Convergent Stochastic Gradient De ...
15:23 - 15:42
LAFI
Remote
Nonparametric Involutive Markov Chain Monte Carlo
15:42 - 16:01
LAFI
Remote
Rigorous Approximation of Posterior Inference for Probabilistic Programs
16:01 - 16:20
LAFI
Remote
Program Analysis of Probabilistic Programs
16:40 - 17:30
x
Sat 21 Dec 12:36