PriSC 2022
Sun 16 Jan 2022
Philadelphia, Pennsylvania, United States
co-located with
POPL 2022
Toggle navigation
Attending
Hotel: Westin Philadelphia
Program
Complete Program
Your Program
Sun 16 Jan
Track/Call
Organization
PriSC 2022 Committees
Track Committees
Program Committee
Steering Committee
Contributors
People Index
Search
Series
Series
PriSC 2025
PriSC 2024
PriSC 2023
PriSC 2022
PriSC 2021
PriSC 2020
PriSC 2019
PriSC 2018
Sign in
Sign up
POPL 2022
(
series
) /
PriSC 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 9 Nov 00:17