POPL 2017
Sun 15 - Sat 21 January 2017
Tue 17 Jan 2017 10:30 - 10: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 - 10:50
Talk
An application of computable distributions to the semantics of probabilistic programs: part 2
PPS
Daniel HuangHarvard University, Greg MorrisettCornell University
10:50 - 11:00
Meeting
Discussion 1
PPS
11:00 - 11:20
Talk
Probabilistic programming and a domain theoretic approach to Skorohod's theorem
PPS
11:20 - 11:30
Meeting
Discussion 2
PPS
11:30 - 11:50
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 - 12:00
Meeting
Discussion 3
PPS