Implementor Panel: What can semantics do for probabilistic programming and what can probabilistic programming do for semantics? (PPS 2016) - POPL 2016

Write a Blog >>

Wed 20 - Sat 23 January 2016 St. Petersburg, Florida, United States

Who

Angelika Kimmig, Oleg Kiselyov, Jan-Willem van de Meent, Avi Pfeffer, Frank Wood

Track

Time Zone

The program is currently displayed in (GMT-05:00) Guadalajara, Mexico City, Monterrey.

Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, MonterreySelect 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

Sat 23 Jan 2016 11:30 - 12:15 at Room St Petersburg II - Session 2 Chair(s): Chad Scherrer

Angelika Kimmig

KU Leuven

Oleg Kiselyov

Jan-Willem van de Meent

University of Oxford

Avi Pfeffer

Charles River Analytics

Frank WoodModerator

University of Oxford

Time Zone

The program is currently displayed in (GMT-05:00) Guadalajara, Mexico City, Monterrey.

Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, MonterreySelect 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

Sat 23 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey change

	10:30 - 12:15	Session 2PPS at Room St Petersburg II Chair(s): Chad Scherrer Galois, Inc.

	10:30 20m Talk		Models for Probabilistic Programs with an Adversary PPS Robert Rand University of Pennsylvania, Steve Zdancewic University of Pennsylvania Pre-print
	10:50 10m Meeting		DIscussion 3 PPS
	11:00 20m Talk		The Semantics of Figaro, an Embedded Probabilistic Programming Language PPS Avi Pfeffer Charles River Analytics, Brian Ruttenberg Charles River Analytics Pre-print
	11:20 10m Meeting		Discussion 4 PPS
	11:30 45m Meeting		Implementor Panel: What can semantics do for probabilistic programming and what can probabilistic programming do for semantics? PPS Angelika Kimmig KU Leuven, Oleg Kiselyov , Jan-Willem van de Meent University of Oxford, Avi Pfeffer Charles River Analytics, M: Frank Wood University of Oxford