An application of computable distributions to the semantics of probabilistic programs: part 2 ( PPS 2017) - POPL 2017

Sun 15 - Sat 21 January 2017

Who

Daniel Huang, Greg Morrisett

Track

Time Zone

The program is currently displayed in (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Tue 17 Jan 2017 10:30 - 10:50 at Salle 105, Barre 44-54 - Session 2 Chair(s): Chad Scherrer

Daniel Huang

Harvard University

Greg Morrisett

Cornell University

Time Zone

The program is currently displayed in (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

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 Michael Mislove Tulane
	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