POPL 2018 (series) / PPS 2018 (series) /
PPS 2018 Program
This is the PPS 2018 program - see the full program for POPL 2018 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Tue 9 JanDisplayed time zone: Tijuana, Baja California change
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 60mTalk | Software is eating the world, but ML is going to eat software PPS |
10:30 - 12:00 | |||
10:30 30mTalk | 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 30mTalk | 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 30mTalk | Formal Methods For Probabilistic Programming PPS Daniel Selsam Stanford University |
14:00 - 15:30 | |||
14:00 60mTalk | Deep Probabilistic Programming: TensorFlow Distributions and Edward PPS | ||
15:00 30mTalk | More support for symbolic disintegration PPS |
16:00 - 18:00 | |||
16:00 30mTalk | Auxiliary variables in Probabilistic Programs PPS | ||
16:30 30mTalk | 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 30mTalk | 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 30mTalk | 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 |