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

Tue 17 Jan
Times are displayed in 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 ScherrerGalois, Inc.
10:30
20m
Talk
An application of computable distributions to the semantics of probabilistic programs: part 2
PPS
Daniel HuangHarvard University, Greg MorrisettCornell 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 ŚcibiorUniversity of Cambridge, Yufei CaiUniversity of Tübingen, Germany, Klaus OstermannUniversity of Tübingen, Germany, Zoubin GhahramaniUniversity of Cambridge
11:50
10m
Meeting
Discussion 3
PPS