Crocker - POPL 2018

VenueOmni Hotel

Room nameCrocker

Floor0

Room InformationNo extra information available

Program

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

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sat 13 Jan
Displayed time zone: Tijuana, Baja California change

09:00 - 10:00	KeynoteOff the Beaten Track at Crocker Chair(s): Michael Greenberg Pomona College

09:00 60m Talk		Keynote: Programming and proving with FoCaLiZe: a tour from computer algebra to interoperability applications Off the Beaten Track Catherine Dubois ENSIIE Paris-Evry File Attached

10:30 - 12:00	Session 1Off the Beaten Track at Crocker

10:30 30m Talk		Synthesizing Program-Specific Static Analyses Off the Beaten Track Colin Gordon Drexel University File Attached
11:00 30m Talk		On quantifying the degree of unsoundness of static analyses Off the Beaten Track Dimitrios Vardoulakis Google File Attached
11:30 30m Talk		Explaining Type Errors Off the Beaten Track Brent Yorgey Hendrix College, Richard A. Eisenberg Bryn Mawr College, USA, Harley D. Eades III Augusta University File Attached

13:30 - 15:30	Session 2Off the Beaten Track at Crocker Chair(s): William E. Byrd University of Alabama at Birmingham, USA

13:30 30m Lunch		Lunch (12pm-2pm) Off the Beaten Track
14:00 30m Talk		SweetPea: A Language for Designing Experiments Off the Beaten Track Annie Cherkaev University of Utah, Sebastian Musslick Princeton University, Jonathan Cohen Princeton University, Vivek Srikumar University of Utah, Matthew Flatt University of Utah File Attached
14:30 30m Talk		Extensible Semantics for Fluidics Off the Beaten Track Max Willsey University of Washington, Jared Roesch University of Washington, USA File Attached
15:00 30m Talk		Towards Proof Synthesis by Neural Machine Translation Off the Beaten Track Taro Sekiyama IBM Research, Japan, Akifumi Imanishi Kyoto University, Kohei Suenaga Graduate School of Informatics, Kyoto University File Attached

16:00 - 18:00	Session 3Off the Beaten Track at Crocker

16:00 30m Talk		Back to the Future with Denotational Semantics Off the Beaten Track Jeremy G. Siek Indiana University, USA File Attached
16:30 30m Talk		Climbing Up the Semantic Tower — at Runtime Off the Beaten Track François-René Rideau File Attached
17:00 30m Talk		Towards A Systems Approach To Distributed Programming Off the Beaten Track Christopher Meiklejohn Université catholique de Louvain, Peter Van Roy Université catholique de Louvain File Attached
17:30 30m Day closing		Discussion and business meeting Off the Beaten Track

Sat 13 Jan
Displayed time zone: Tijuana, Baja California change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Crocker	Off the Beaten Track Keynote																		Off the Beaten Track Session 1																																				Off the Beaten Track Session 2																														Off the Beaten Track Session 3

Sat 13 Jan
Displayed time zone: Tijuana, Baja California change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Crocker	Off the Beaten Track Keynote: Programming and proving with FoCaLiZe: a tour from computer al ... 09:00 - 10:00																		Off the Beaten Track Synthesizing Program-Specific Static Analyses 10:30 - 11:00						Off the Beaten Track On quantifying the degree of unsoundness of static analyses 11:00 - 11:30						Off the Beaten Track Explaining Type Errors 11:30 - 12:00																								Off the Beaten Track Lunch (12pm-2pm) 13:30 - 14:00						Off the Beaten Track SweetPea: A Language for Designing Experiments 14:00 - 14:30						Off the Beaten Track Extensible Semantics for Fluidics 14:30 - 15:00						Off the Beaten Track Towards Proof Synthesis by Neural Machine Translation 15:00 - 15:30												Off the Beaten Track Back to the Future with Denotational Semantics 16:00 - 16:30						Off the Beaten Track Climbing Up the Semantic Tower — at Runtime 16:30 - 17:00						Off the Beaten Track Towards A Systems Approach To Distributed Programming 17:00 - 17:30						Off the Beaten Track Discussion and business meeting 17:30 - 18:00

Room information: Crocker

Sat 13 Jan
Displayed time zone: Tijuana, Baja California change

Sat 13 Jan
Displayed time zone: Tijuana, Baja California change

Off the Beaten Track

Off the Beaten Track

Off the Beaten Track

Off the Beaten Track

Sat 13 Jan
Displayed time zone: Tijuana, Baja California change

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

Room information: Crocker

Program Display Configuration

Sat 13 JanDisplayed time zone: Tijuana, Baja California change

Sat 13 JanDisplayed time zone: Tijuana, Baja California change

Off the Beaten Track

Off the Beaten Track

Off the Beaten Track

Off the Beaten Track

Sat 13 JanDisplayed time zone: Tijuana, Baja California change

Sat 13 Jan
Displayed time zone: Tijuana, Baja California change

Sat 13 Jan
Displayed time zone: Tijuana, Baja California change

Sat 13 Jan
Displayed time zone: Tijuana, Baja California change