POPL 2017
Sun 15 - Sat 21 January 2017

Workshop on probabilistic programming semantics

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 the semantic foundations of probabilistic programming. Topics include but are not limited to:

  • the denotational semantics of probabilistic functions, open universe, loops, and conditioning;
  • the operational semantics of sampling, exact inference, and MCMC transitions;
  • axiomatic and equational reasoning;
  • types and polymorphism;
  • and last but not least, how semantics informs any aspect of probabilistic programming, be it design, theory, implementation, or applications.

Accepted Presentations

Title

Call for extended abstracts

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. Nevertheless, as a concrete basis for fruitful discussions, we call for extended abstracts describing specific and ideally ongoing work on probabilistic programming semantics.

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

Tue 17 Jan

pps-2017
09:00 - 10:00: PPS - Session 1 at Salle 105, Barre 44-54
Chair(s): Cameron FreerGamalon and Borelian
pps-2017148464000000009:00 - 10:00
Talk
pps-2017
10:30 - 12:00: PPS - Session 2 at Salle 105, Barre 44-54
Chair(s): Chad ScherrerGalois, Inc.
pps-2017148464540000010:30 - 10:50
Talk
Daniel HuangHarvard University, Greg MorrisettCornell University
pps-2017148464660000010:50 - 11:00
Meeting
pps-2017148464720000011:00 - 11:20
Talk
pps-2017148464840000011:20 - 11:30
Meeting
pps-2017148464900000011:30 - 11:50
Talk
Adam ŚcibiorUniversity of Cambridge, Yufei CaiUniversity of Tübingen, Germany, Klaus OstermannUniversity of Tübingen, Germany, Zoubin GhahramaniUniversity of Cambridge
pps-2017148465020000011:50 - 12:00
Meeting
pps-2017
14:00 - 15:30: PPS - Session 3 at Salle 105, Barre 44-54
Chair(s): Sam StatonUniversity of Oxford
pps-2017148465800000014:00 - 14:20
Talk
Paul Blain Levy, Nathan BowlerUniversität Hamburg
pps-2017148465920000014:20 - 14:30
Meeting
pps-2017148465980000014:30 - 14:50
Talk
Ilias GarnierUniversity of Edinburgh, Fredrik DahlqvistUniversity College London, Florence ClercMcGill University, Vincent DanosENS Paris/CNRS
pps-2017148466100000014:50 - 15:00
Meeting
pps-2017148466160000015:00 - 15:20
Talk
Benjamin Lucien KaminskiRWTH Aachen University, Joost-Pieter KatoenRWTH Aachen University
pps-2017148466280000015:20 - 15:30
Meeting
pps-2017
15:30 - 16:30: PPS - Poster Session at Salle 105, Barre 44-54
pps-2017148466340000015:30 - 16:30
Meeting
Alexander VandenbrouckeKU Leuven, Belgium, Tom SchrijversKU Leuven
pps-2017148466340000015:30 - 16:30
Meeting
Marco Cusumano-TownerMIT-CSAIL, Vikash MansinghkaMassachusetts Institute of Technology
pps-2017148466340000015:30 - 16:30
Meeting
Siddharth SrivastavaUTRC Berkeley, Nicholas HayVicarious, Yi WUUC Berkeley, Stuart RussellUniversity of California, Berkeley
pps-2017148466340000015:30 - 16:30
Meeting
pps-2017148466340000015:30 - 16:30
Meeting
Chandrakana NandiUniversity of Washington, USA, Adrian SampsonCornell University, Dan GrossmanUniversity of Washington, Todd Mytkowicz, Kathryn S McKinleyMicrosoft Research
pps-2017148466340000015:30 - 16:30
Meeting
Nathanael L. AckermanHarvard University, Jeremy AvigadCarnegie Mellon University, Cameron FreerGamalon and Borelian, Daniel Roy, Jason M. RutePennsylvania State University
pps-2017148466340000015:30 - 16:30
Meeting
Angelika KimmigKU Leuven, Luc De RaedtKU Leuven
pps-2017148466340000015:30 - 16:30
Meeting
pps-2017148466340000015:30 - 16:30
Meeting
Long OuyangStanford University
pps-2017148466340000015:30 - 16:30
Meeting
Robert CornishUniversity of Oxford, Frank WoodUniversity of Oxford, Hongseok YangUniversity of Oxford
pps-2017
16:30 - 18:00: PPS - Session 5 at Salle 105, Barre 44-54
Chair(s): Chung-chieh ShanIndiana University, USA
pps-2017148466700000016:30 - 16:50
Talk
Chad ScherrerGalois, Inc.
pps-2017148466820000016:50 - 17:00
Meeting
pps-2017148466880000017:00 - 17:20
Talk
pps-2017148467000000017:20 - 17:30
Meeting
pps-2017148467060000017:30 - 17:50
Talk
Sam StatonUniversity of Oxford, Hongseok YangUniversity of Oxford, Nathanael L. AckermanHarvard University, Cameron FreerGamalon and Borelian, Daniel Roy
pps-2017148467180000017:50 - 18:00
Meeting
pps-2017
18:15 - 19:15: PPS - Session 6 at Salle 105, Barre 44-54
Chair(s): Hongseok YangUniversity of Oxford
pps-2017148467330000018:15 - 18:35
Talk
Ernie CohenAmazon Web Services
pps-2017148467450000018:35 - 18:45
Meeting
pps-2017148467510000018:45 - 19:05
Talk
Edwin WestbrookGalois, Inc., Chad ScherrerGalois, Inc., Nathan CollinsGalois, Inc., Eric MertensGalois, Inc.
pps-2017148467630000019:05 - 19:15
Meeting