POPL 2017 (series) / PPS 2017 (series) /
PPS 2017 Program
This is the PPS 2017 program - see the full program for POPL 2017 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Tue 17 JanDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 17 Jan
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:00 | |||
09:00 60mTalk | Towards a metric semantics for probabilistic programming (invited talk) PPS |
10:30 - 12:00 | |||
10:30 20mTalk | An application of computable distributions to the semantics of probabilistic programs: part 2 PPS | ||
10:50 10mMeeting | Discussion 1 PPS | ||
11:00 20mTalk | Probabilistic programming and a domain theoretic approach to Skorohod's theorem PPS Michael Mislove Tulane | ||
11:20 10mMeeting | Discussion 2 PPS | ||
11:30 20mTalk | Building inference algorithms from monad transformers PPS Adam Ścibior University of Cambridge, Yufei Cai University of Tübingen, Germany, Klaus Ostermann University of Tübingen, Germany, Zoubin Ghahramani University of Cambridge | ||
11:50 10mMeeting | Discussion 3 PPS |
14:00 - 15:30 | |||
14:00 20mTalk | Commutativity logic for probabilistic trace equivalence: complete or not? PPS | ||
14:20 10mMeeting | Discussion 4 PPS | ||
14:30 20mTalk | Mathematical structures of probabilistic programming PPS Ilias Garnier University of Edinburgh, Fredrik Dahlqvist University College London, Florence Clerc McGill University, Vincent Danos ENS Paris/CNRS | ||
14:50 10mMeeting | Discussion 5 PPS | ||
15:00 20mTalk | A weakest pre-expectation semantics for mixed-sign expectations PPS | ||
15:20 10mMeeting | Discussion 6 PPS |
16:30 - 18:00 | |||
16:30 20mTalk | An exponential family basis for probabilistic programming PPS Chad Scherrer Galois, Inc. | ||
16:50 10mMeeting | Discussion 7 PPS | ||
17:00 20mTalk | The semantics of subroutines and iteration in the Bayesian programming language ProBT PPS Raphaël Laurent ProbaYes, Kamel Mekhnacha ProbaYes, Emmanuel Mazer CNRS/LIG, Pierre Bessière CNRS/ISIR | ||
17:20 10mMeeting | Discussion 8 PPS | ||
17:30 20mTalk | Exchangeable random process and data abstraction PPS Sam Staton University of Oxford, Hongseok Yang University of Oxford, Nathanael L. Ackerman Harvard University, Cameron Freer Gamalon and Borelian, Daniel Roy | ||
17:50 10mMeeting | Discussion 9 PPS |
18:15 - 19:15 | |||
18:15 20mTalk | Reducing probabilistic choice to nondeterministic choice PPS Ernie Cohen Amazon Web Services | ||
18:35 10mMeeting | Discussion 10 PPS | ||
18:45 20mTalk | GraPPa: spanning the expressivity vs. efficiency continuum PPS Edwin Westbrook Galois, Inc., Chad Scherrer Galois, Inc., Nathan Collins Galois, Inc., Eric Mertens Galois, Inc. | ||
19:05 10mMeeting | Discussion 11 PPS |