Program

We are excited to announce our 2018 program, including an invited talk, an invited tutorial, and the following talks and posters. For more details on the schedule, see the Program tab. The extended abstracts for the talks and posters can be found at http://pps2018.soic.indiana.edu

Join our slack discussion at https://popl2018.slack.com/#pps

Invited talk

Erik Meijer, Facebook

Software is eating the world, but ML is going to eat software

Abstract: “Democratizing ML” is a hot topic these days - particularly in industry. Efficiency, composability and accessibility of machine learning technology are active areas of investment for many research and product groups. Unfortunately, while machine learning has the potential to fundamentally improve how software is constructed, opportunities to leverage machine learning to improve more conventional developer tools (languages, compilers, and IDEs for example) have largely gone untapped. At Facebook we want to seize this opportunity. Our Developer Infrastructure team is on a mission to fundamentally rethink and retool Facebook’s developer toolchain by applying machine learning at every layer in our stack. Our goal is to make our developers more productive, and our processes and infrastructure more efficient, by deeply integrating ML into our programming languages and developer tools (such as IDEs, version control, or continuous integration systems) in novel ways. This talk will detail the work our team has done to improve developer efficiency and resource utilization at Facebook - from updating the Hack programming language to support probabilistic programming techniques, to developing a new suite of AI-driven developer tools. I’ll describe the lessons we’ve learned along the way, as well as future opportunities we see to optimize or auto-tune other common pieces of developer infrastructure.

Invited tutorial

Rif A. Saurous, Google, and Dustin Tran, Columbia University

Deep Probabilistic Programming: TensorFlow Distributions and Edward

Abstract: The TensorFlow Distribution and Edward libraries implement a vision of probability theory adapted to the modern deep-learning paradigm of end-to-end differentiable computation. We first introduce TensorFlow Distributions, an efficient low-level system for building and manipulating distributions. We focus on the non-obvious design choices in the library, paying particular attention to the Bijector abstraction, which supports composable volume-tracking transformations with automatic caching. We then provide an overview of Edward, a probabilistic programming system built on computational graphs and using Distributions as an efficient backend. In particular, we show how Edward and TensorFlow Distributions can be applied for expanding the frontier of deep generative models and variational inference.

Talks

  • Chris Heunen, Ohad Kammar, Sean Moss, Adam Scibior, Sam Staton, Matthijs Vákár and Hongseok Yang. The semantic structure of quasi-Borel spaces: algebra, logic, and recursion
  • Ekansh Sharma and Daniel Roy. Auxiliary variables in Probabilistic Programs
  • Praveen Narayanan and Chung‐chieh Shan. More support for symbolic disintegration
  • Daniel Selsam. Formal Methods For Probabilistic Programming
  • Steven Holtzen, Guy Van den Broeck and Todd Millstein. Probabilistic Program Inference With Abstractions
  • Michele Pagani, Thomas Ehrhard and Christine Tasson. Stable, measurable functions and probabilistic programs
  • Mitchell Wand, Theophilos Giannakopoulos, Andrew Cobb and Ryan Culpepper. Contextual Equivalence for a Probabilistic Language with Continuous Random Variables and Recursion
  • Maria I. Gorinova, Andrew D. Gordon and Charles Sutton. SlicStan: Improving Probabilistic Programming using Information Flow Analysis

Posters

  • Mahdi Azarafrooz. Deep Amortized Inference for Probabilistic Programs using Adversarial Compilation
  • Marco Cusumano-Towner and Vikash Mansinghka. Using probabilistic programs as proposals
  • Luke Ong and Matthijs Vákár. Game Semantics for Probabilistic Programs
  • Mathias Ruggaard Pedersen, Nathanaël Fijalkow, Giorgio Bacci, Kim Guldstrand Larsen and Radu Mardare. Comparing the speed of probabilistic processes
  • Joshua V. Dillon, Ian Langmore, Eugene Brevdo, Matt Hoffman, Dave Moore, Brian Patton, Rif A. Saurous, Dustin Tran and Srinivas Vasudevan. TensorFlow Distributions
  • Avi Pfeffer. Using Reinforcement Learning for Probabilistic Program Inference
  • Avi Pfeffer. The Support Method of Computing Expectations
  • Andres Molina-Markham. Probabilistic Models for Assured Position, Navigation and Timing
  • Javier Burroni, Arjun Guha and David Jensen. Interactive Writing and Debugging of Bayesian Probabilistic Programs
  • Benjamin Sherman, Jared Tramontano and Michael Carbin. Constructive probabilistic semantics with non-spatial locales
  • Tetsuya Sato. Reasoning about Divergences via Span-liftings
  • Steffen Smolka, David Kahn, Praveen Kumar, Nate Foster, Dexter Kozen and Alexandra Silva. Probabilistic Program Equivalence for NetKAT
  • Daniel Lundén, David Broman and Lawrence M. Murray. Combining static and dynamic optimizations using closed-form solutions
  • Nils Napp and Marco Gaboardi. Probabilistic Programming for Robotics

Sponsorship

We are grateful to the ACM SIGLOG for generously sponsoring PPS registration costs for several of the student participants, and to Microsoft Research for generously sponsoring the workshop dinner.

Separately from PPS, during the POPL TutorialFest on Monday, 8 January 2018, Chung-chieh Shan will present a tutorial on Equational reasoning for probabilistic programming.

History of the PPS Workshop

While there have been a number of recent probabilistic programming meetings at Dagstuhl, NIPS, for the DARPA PPAML program, and elsewhere, many participants were interested in a deeper focus on semantics and other programming language issues. This lead to the formation of the PPS meeting colocated with POPL, which promotes the investigation of probabilistic programming from these PL perspectives, and exposes others in the PL community to probabilistic programming.

The first PPS workshop was held January 23, 2016 in St. Petersburg, FL, colocated with POPL and immediately before the DARPA PI meeting for the PPAML program:

The second PPS workshop was held January 17, 2017 in Paris, colocated with POPL, and sponsored by SIGPLAN and SIGLOG:

Each year has two chairs, one from the previous year, and the other of whom stays on for the next year. Other program committee members are different from the previous year, to promote a variety of perspectives on probabilistic programming.

You're viewing the program in a time zone which is different from your device's time zone change time zone

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
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
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
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
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
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

Accepted Papers

Title
Auxiliary variables in Probabilistic Programs
PPS
Combining static and dynamic optimizations using closed-form solutions
PPS
Comparing the speed of probabilistic processes
PPS
Constructive probabilistic semantics with non-spatial locales
PPS
Pre-print
Contextual Equivalence for a Probabilistic Language with Continuous Random Variables and Recursion
PPS
Deep Amortized Inference for Probabilistic Programs using Adversarial Compilation
PPS
Formal Methods For Probabilistic Programming
PPS
Game Semantics for Probabilistic Programs
PPS
Interactive Writing and Debugging of Bayesian Probabilistic Programs
PPS
Pre-print
More support for symbolic disintegration
PPS
Probabilistic Models for Assured Position, Navigation and Timing
PPS
Probabilistic Program Equivalence for NetKAT
PPS
Link to publication File Attached
Probabilistic Program Inference With Abstractions
PPS
Pre-print
Probabilistic Programming for Robotics
PPS
Reasoning about Divergences via Span-liftings
PPS
SlicStan: Improving Probabilistic Programming using Information Flow Analysis
PPS
Pre-print
Stable, measurable functions and probabilistic programs
PPS
TensorFlow Distributions
PPS
Link to publication Pre-print
The semantic structure of quasi-Borel spaces: algebra, logic, and recursion
PPS
The Support Method of Computing Expectations
PPS
Using probabilistic programs as proposals
PPS
Using Reinforcement Learning for Probabilistic Program Inference
PPS

Call for Extended Abstracts

PPS 2018: Probabilistic Programming Languages, Semantics, and Systems

Probabilistic programming is the idea of expressing probabilistic models and inference methods as programs, to ease use and reuse. The recent rise of practical implementations as well as research activity in probabilistic programming has renewed the need for semantics to help us share insights and innovations.

This workshop aims to bring programming-language and machine-learning researchers together to advance all aspects of probabilistic programming languages, semantics, and systems. Topics include but are not limited to:

  • design of probabilistic programming languages;
  • inference algorithms for probabilistic programming languages;
  • semantics (axiomatic, operational, denotational, games, etc) and types for probabilistic programming;
  • efficient and correct implementation;
  • and last but not least, applications of probabilistic programming.

For a sense of the talks and posters in past years, see:

and

In the tradition of the previous meetings, we anticipate that work on semantic foundations of probabilistic programming will be at the core of PPS 2018, but we are explicitly broadening the scope of PPS to embrace all aspects of probabilistic programming languages.

We expect this workshop to be informal, and our goal is to foster collaboration and establish common ground. Thus, the proceedings will not be a formal or archival publication, and we expect to spend only a portion of the workshop day on traditional research talks. In line with the SIGPLAN Republication Policy, inclusion in our informal proceedings is not intended to preclude later formal publication. Nevertheless, as a concrete basis for fruitful discussions, we call for extended abstracts describing specific and ideally ongoing work on probabilistic programming languages, semantics, and systems.

In line with the SIGPLAN Republication Policy, inclusion in our informal proceedings is not intended to preclude later formal publication.

Extended abstracts are up to 2 pages in PDF format. Please submit them by October 17 using EasyChair at https://easychair.org/conferences/?conf=pps2018

Important dates and the Program Committee are listed elsewhere on this page.