POPL 2018
Sun 7 - Sat 13 January 2018
Los Angeles, California, United States
Toggle navigation
Attending
Venue: Omni Hotel
Registration
Code of Conduct
Supporting POPL
Childcare
Students
Visa Support Letter
Accessibility
Remote Participation
Program
POPL Program
Your Program
Proceedings
Filter by Day
Sun 7 Jan
Mon 8 Jan
Tue 9 Jan
Wed 10 Jan
Thu 11 Jan
Fri 12 Jan
Sat 13 Jan
Tracks
POPL 2018
Research Papers
TutorialFest
Student Research Competition
Workshops
Artifact Evaluation
Student Volunteers
Co-hosted Conferences
CPP
CPP
CPP
VMCAI
Workshops
PPS
CoqPL
NetPL
Off the Beaten Track
PEPM
PLMW
PriSC
Co-hosted Symposia
PADL
Organization
POPL 2018 Committees
Organizing Committee
Steering Committee
Track Committees
Research Papers
TutorialFest
Student Research Competition
Workshops
Artifact Evaluation
Student Volunteers
Contributors
People Index
Co-hosted Conferences
CPP
Program Committee
VMCAI
Invited Speakers
Invited Tutorial
Organizing Committee
Travel Grants
Program Committee
Workshops
PPS
Program Committee
CoqPL
Organizing Committee
Program Committee
NetPL
Organizing Committee
Off the Beaten Track
Organizing Committee
Program Committee
PEPM
Programme Committee
Steering Committee
PLMW
Speakers
Panelists
Organizers
PriSC
Program Committee
Organizing Committee
Co-hosted Symposia
PADL
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 2018
(
series
) /
Omni Hotel
/
Room information: Bradbury
Venue
Omni Hotel
Room name
Bradbury
Floor
0
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-08:00) Tijuana, Baja California
.
Use conference time zone: (GMT-08:00) Tijuana, Baja California
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-03: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-02: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+11: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
Mon 8 Jan
Displayed time zone:
Tijuana, Baja California
change
09:00 - 10:30
Equational reasoning for probabilistic programming
TutorialFest
at
Bradbury
09:00
90m
Talk
Equational reasoning for probabilistic programming.
TutorialFest
A:
Chung-chieh Shan
Indiana University, USA
Media Attached
11:00 - 12:00
Equational reasoning for probabilistic programming
TutorialFest
at
Bradbury
11:00
60m
Talk
Equational reasoning for probabilistic programming.
TutorialFest
A:
Chung-chieh Shan
Indiana University, USA
Media Attached
14:00 - 15:30
Computational Higher Type Theory
TutorialFest
at
Bradbury
14:00
90m
Talk
Computational Higher Type Theory
TutorialFest
A:
Robert Harper
Carnegie Mellon University
,
A:
Carlo Angiuli
Carnegie Mellon University
Media Attached
16:00 - 17:00
Computational Higher Type Theory
TutorialFest
at
Bradbury
16:00
60m
Talk
Computational Higher Type Theory
TutorialFest
A:
Robert Harper
Carnegie Mellon University
,
A:
Carlo Angiuli
Carnegie Mellon University
Media Attached
Tue 9 Jan
Displayed time zone:
Tijuana, Baja California
change
09:00 - 10:00
SESSION I (invited talk)
PPS
at
Bradbury
Chair(s):
Andrew D. Gordon
Microsoft Research and University of Edinburgh
09:00
60m
Talk
Software is eating the world, but ML is going to eat software
PPS
Erik Meijer
10:00 - 10:30
POSTER SESSION (14 posters - not talks)
PPS
at
Bradbury
10:00
2m
Talk
Probabilistic Programming for Robotics
PPS
Nils Napp
SUNY at Buffalo
,
Marco Gaboardi
University at Buffalo, SUNY
10:02
2m
Talk
Game Semantics for Probabilistic Programs
PPS
C.-H. Luke Ong
University of Oxford
,
Matthijs Vákár
University of Oxford
10:04
2m
Talk
Interactive Writing and Debugging of Bayesian Probabilistic Programs
PPS
Javier Burroni
,
Arjun Guha
University of Massachusetts, Amherst
,
David Jensen
University of Massachusetts Amherst
Pre-print
10:06
2m
Talk
Deep Amortized Inference for Probabilistic Programs using Adversarial Compilation
PPS
Mahdi Azarafrooz
Cylance
10:08
2m
Talk
Comparing the speed of probabilistic processes
PPS
Mathias Ruggaard Pedersen
Aalborg University
,
Nathanaël Fijalkow
Alan Turing Institute
,
Giorgio Bacci
Aalborg University
,
Kim Larsen
Aalborg University
,
Radu Mardare
Aalborg University
10:10
2m
Talk
Using Reinforcement Learning for Probabilistic Program Inference
PPS
Avi Pfeffer
Charles River Analytics
10:12
2m
Talk
TensorFlow Distributions
PPS
Joshua V. Dillon
Google
,
Ian Langmore
Google
,
Eugene Brevdo
Google
,
Matt Hoffman
Google
,
Dave Moore
Google
,
Brian Patton
Google
,
Rif A. Saurous
Google
,
Dustin Tran
,
Srinivas Vasudevan
Google
Link to publication
Pre-print
10:15
2m
Talk
Constructive probabilistic semantics with non-spatial locales
PPS
Benjamin Sherman
Massachusetts Institute of Technology, USA
,
Jared Tramontano
Massachusetts Institute of Technology
,
Michael Carbin
MIT
Pre-print
10:17
2m
Talk
Using probabilistic programs as proposals
PPS
Marco Cusumano-Towner
MIT-CSAIL
,
Vikash Mansinghka
Massachusetts Institute of Technology
10:19
2m
Talk
Probabilistic Program Equivalence for NetKAT
PPS
Steffen Smolka
Cornell University
,
David Kahn
Cornell University
,
Praveen Kumar
Cornell University
,
Nate Foster
Cornell University
,
Dexter Kozen
,
Alexandra Silva
University College London
Link to publication
File Attached
10:21
2m
Talk
Reasoning about Divergences via Span-liftings
PPS
Tetsuya Sato
University at Buffalo, SUNY, USA
10:23
2m
Talk
Probabilistic Models for Assured Position, Navigation and Timing
PPS
Andres Molina-Markham
The MITRE Corporation
10:25
2m
Talk
The Support Method of Computing Expectations
PPS
Avi Pfeffer
Charles River Analytics
10:27
2m
Talk
Combining static and dynamic optimizations using closed-form solutions
PPS
Daniel Lundén
KTH Royal Institute of Technology
,
David Broman
KTH Royal Institute of Technology
,
Lawrence M. Murray
Uppsala University
10:30 - 12:00
SESSION II (3 talks)
PPS
at
Bradbury
Chair(s):
Erik Meijer
10:30
30m
Talk
The semantic structure of quasi-Borel spaces: algebra, logic, and recursion
PPS
Chris Heunen
University of Edinburgh
,
Ohad Kammar
University of Oxford
,
Sean Moss
University of Oxford
,
Adam Ścibior
University of Cambridge and MPI Tuebingen
,
Sam Staton
University of Oxford
,
Matthijs Vákár
University of Oxford
,
Hongseok Yang
University of Oxford
11:00
30m
Talk
Stable, measurable functions and probabilistic programs
PPS
Michele Pagani
University Paris Diderot
,
Thomas Ehrhard
CNRS and University Paris Diderot
,
Christine Tasson
University Paris Diderot
11:30
30m
Talk
Formal Methods For Probabilistic Programming
PPS
Daniel Selsam
Stanford University
14:00 - 15:30
SESSION III (invited tutorial + 1 talk)
PPS
at
Bradbury
Chair(s):
Cameron Freer
Remine and Borelian
14:00
60m
Talk
Deep Probabilistic Programming: TensorFlow Distributions and Edward
PPS
Rif A. Saurous
Google
,
Dustin Tran
15:00
30m
Talk
More support for symbolic disintegration
PPS
Praveen Narayanan
Indiana University, USA
,
Chung-chieh Shan
Indiana University, USA
16:00 - 18:00
SESSION IV (4 talks)
PPS
at
Bradbury
Chair(s):
Rif A. Saurous
Google
16:00
30m
Talk
Auxiliary variables in Probabilistic Programs
PPS
Ekansh Sharma
,
Daniel Roy
16:30
30m
Talk
Probabilistic Program Inference With Abstractions
PPS
Steven Holtzen
University of California, Los Angeles
,
Guy Van den Broeck
University of California, Los Angeles
,
Todd Millstein
University of California, Los Angeles
Pre-print
17:00
30m
Talk
SlicStan: Improving Probabilistic Programming using Information Flow Analysis
PPS
Maria I. Gorinova
The University of Edinburgh
,
Andrew D. Gordon
Microsoft Research and University of Edinburgh
,
Charles Sutton
University of Edinburgh
Pre-print
17:30
30m
Talk
Contextual Equivalence for a Probabilistic Language with Continuous Random Variables and Recursion
PPS
Mitchell Wand
Northeastern University, USA
,
Theophilos Giannakopoulos
BAE Systems, Inc.
,
Andrew Cobb
Northeastern University
,
Ryan Culpepper
Northeastern University
Mon 8 Jan
Displayed time zone:
Tijuana, Baja California
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
Bradbury
TutorialFest
Equational reasoning for probabilistic programming
TutorialFest
Equational reasoning for probabilistic programming
TutorialFest
Computational Higher Type Theory
TutorialFest
Computational Higher Type Theory
Tue 9 Jan
Displayed time zone:
Tijuana, Baja California
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
Bradbury
PPS
SESSION I (invited talk)
PPS
POSTER SESSION (14 posters - not talks)
PPS
SESSION II (3 talks)
PPS
SESSION III (invited tutorial + 1 talk)
PPS
SESSION IV (4 talks)
Mon 8 Jan
Displayed time zone:
Tijuana, Baja California
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
Bradbury
POPL TutorialFest
Equational reasoning for probabilistic programming.
09:00 - 10:30
POPL TutorialFest
Equational reasoning for probabilistic programming.
11:00 - 12:00
POPL TutorialFest
Computational Higher Type Theory
14:00 - 15:30
POPL TutorialFest
Computational Higher Type Theory
16:00 - 17:00
Tue 9 Jan
Displayed time zone:
Tijuana, Baja California
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
Bradbury
PPS
Software is eating the world, but ML is going to eat software
09:00 - 10:00
PPS
Probabilistic Programming for Robotics
10:00 - 10:02
PPS
Game Semantics for Probabilistic Programs
10:02 - 10:04
PPS
Interactive Writing and Debugging of Bayesian Probabilistic Programs
10:04 - 10:06
PPS
Deep Amortized Inference for Probabilistic Programs using Adversarial C ...
10:06 - 10:08
PPS
Comparing the speed of probabilistic processes
10:08 - 10:10
PPS
Using Reinforcement Learning for Probabilistic Program Inference
10:10 - 10:12
PPS
TensorFlow Distributions
10:12 - 10:15
PPS
Constructive probabilistic semantics with non-spatial locales
10:15 - 10:17
PPS
Using probabilistic programs as proposals
10:17 - 10:19
PPS
Probabilistic Program Equivalence for NetKAT
10:19 - 10:21
PPS
Reasoning about Divergences via Span-liftings
10:21 - 10:23
PPS
Probabilistic Models for Assured Position, Navigation and Timing
10:23 - 10:25
PPS
The Support Method of Computing Expectations
10:25 - 10:27
PPS
Combining static and dynamic optimizations using closed-form solutions
10:27 - 10:30
PPS
The semantic structure of quasi-Borel spaces: algebra, logic, and recursion
10:30 - 11:00
PPS
Stable, measurable functions and probabilistic programs
11:00 - 11:30
PPS
Formal Methods For Probabilistic Programming
11:30 - 12:00
PPS
Deep Probabilistic Programming: TensorFlow Distributions and Edward
14:00 - 15:00
PPS
More support for symbolic disintegration
15:00 - 15:30
PPS
Auxiliary variables in Probabilistic Programs
16:00 - 16:30
PPS
Probabilistic Program Inference With Abstractions
16:30 - 17:00
PPS
SlicStan: Improving Probabilistic Programming using Information Flow An ...
17:00 - 17:30
PPS
Contextual Equivalence for a Probabilistic Language with Continuous Ran ...
17:30 - 18:00
x
Fri 6 Dec 04:31