VenueOmni Hotel
Room nameCrocker
Floor0
Room InformationNo extra information available
Program

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

10:30 - 12:00
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
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
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
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