POPL 2017
Sun 15 - Sat 21 January 2017
Tue 17 Jan 2017 11:00 - 11:20 at Salle 105, Barre 44-54 - Session 2 Chair(s): Chad Scherrer

Tue 17 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:00
Session 2 PPS at Salle 105, Barre 44-54
Chair(s): Chad Scherrer Galois, Inc.
10:30
20m
Talk
An application of computable distributions to the semantics of probabilistic programs: part 2
PPS
Daniel Huang Harvard University, Greg Morrisett Cornell University
10:50
10m
Meeting
Discussion 1
PPS

11:00
20m
Talk
Probabilistic programming and a domain theoretic approach to Skorohod's theorem
PPS
11:20
10m
Meeting
Discussion 2
PPS

11:30
20m
Talk
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
10m
Meeting
Discussion 3
PPS