Welcome to POPL 2018 (POPL 2018 - Research Papers) - POPL 2018

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

Who

Ranjit Jhala, Andrew Myers

Track

POPL 2018 Research Papers

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

Wed 10 Jan 2018 08:30 - 08:35 at Bunker Hill / Watercourt - Awards & Keynote-I Chair(s): Ranjit Jhala

Ranjit JhalaGeneral Chair

University of California, San Diego

United States

Andrew MyersProgram Chair

Cornell University

United States

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

Wed 10 Jan
Displayed time zone: Tijuana, Baja California change

	08:30 - 10:00	Awards & Keynote-IResearch Papers at Bunker Hill / Watercourt Chair(s): Ranjit Jhala University of California, San Diego

	08:30 5m Day opening		Welcome to POPL 2018 Research Papers G: Ranjit Jhala University of California, San Diego, P: Andrew Myers Cornell University
	08:35 10m Awards		SIGPLAN Awards Research Papers Satnam Singh X, the moonshot factory
	08:45 60m Talk		Milner Award Lecture: The Type Soundness Theorem That You Really Want to Prove (and Now You Can) Research Papers Derek Dreyer MPI-SWS
	09:45 20m Talk		Lightning Overview - Day 1 Research Papers