Laziness Boxes You In (Off the Beaten Track 2017) - POPL 2017

Sun 15 - Sat 21 January 2017

Who

Jose Calderon, Stephen Magill

Track

Off the Beaten Track 2017 OBT

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

Sat 21 Jan 2017 16:25 - 16:50 at Salle 109, Barre 44-54 - Session Four

File attachments

(OBT_2017_paper_13.pdf)	151KiB

Jose Calderon

Galois, Inc.

United States

Stephen Magill

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

Sat 21 Jan
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	16:00 - 18:05	Session FourOff the Beaten Track at Salle 109, Barre 44-54

	16:00 25m Talk		Designing extensible, domain-specific languages for mathematical diagrams Off the Beaten Track Katherine Ye , Keenan Crane , Jonathan Aldrich Carnegie Mellon University, Joshua Sunshine Carnegie Mellon University File Attached
	16:25 25m Talk		Laziness Boxes You In Off the Beaten Track Jose Calderon Galois, Inc., Stephen Magill File Attached
	16:50 25m Talk		Programming with Epistemic Logic Off the Beaten Track Markus Eger , Chris Martens Carnegie Mellon University File Attached
	17:15 25m Talk		Preventing False Discoveries in Adaptive Data Analysis: a Programming Language approach Off the Beaten Track Marco Gaboardi SUNY Buffalo, USA File Attached
	17:40 25m Talk		Running Incomplete Programs Off the Beaten Track Ian Voysey Carnegie Mellon University, Cyrus Omar Carnegie Mellon University, Matthew Hammer University of Colorado, Boulder File Attached