Contextual Equivalence for a Probabilistic Language with Continuous Random Variables and Recursion ( PPS 2018 - Probabilistic Programming Languages, Semantics, and Systems (PPS 2018)) - POPL 2018

Sun 7 - Sat 13 January 2018 Los Angeles, California, United States

Who

Mitchell Wand, Theophilos Giannakopoulos, Andrew Cobb, Ryan Culpepper

Track

Time Zone

The program is currently displayed in (GMT-08:00) Tijuana, Baja California.

Use conference time zone: (GMT-08:00) Tijuana, Baja CaliforniaSelect 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 9 Jan 2018 17:30 - 18:00 at Bradbury - SESSION IV (4 talks) Chair(s): Rif A. Saurous

Abstract

blah blah blah

Mitchell Wand

Northeastern University, USA

Theophilos Giannakopoulos

BAE Systems, Inc.

Andrew Cobb

Northeastern University

Ryan Culpepper

Northeastern University

Time Zone

The program is currently displayed in (GMT-08:00) Tijuana, Baja California.

Use conference time zone: (GMT-08:00) Tijuana, Baja CaliforniaSelect 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 9 Jan
Displayed time zone: Tijuana, Baja California change

	16:00 - 18:00	SESSION IV (4 talks) PPS at Bradbury Chair(s): Rif A. Saurous Google

	16:00 30m Talk		Auxiliary variables in Probabilistic Programs PPS Ekansh Sharma , Daniel Roy
	16:30 30m Talk		Probabilistic Program Inference With Abstractions PPS Steven Holtzen University of California, Los Angeles, Guy Van den Broeck University of California, Los Angeles, Todd Millstein University of California, Los Angeles Pre-print
	17:00 30m Talk		SlicStan: Improving Probabilistic Programming using Information Flow Analysis PPS Maria I. Gorinova The University of Edinburgh, Andrew D. Gordon Microsoft Research and University of Edinburgh, Charles Sutton University of Edinburgh Pre-print
	17:30 30m Talk		Contextual Equivalence for a Probabilistic Language with Continuous Random Variables and Recursion PPS Mitchell Wand Northeastern University, USA, Theophilos Giannakopoulos BAE Systems, Inc., Andrew Cobb Northeastern University, Ryan Culpepper Northeastern University