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

Conference Day
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 GordonDrexel 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 YorgeyHendrix College, Richard A. EisenbergBryn Mawr College, USA, Harley D. Eades IIIAugusta University
File Attached
13:30 - 15:30
Session 2Off the Beaten Track at Crocker
Chair(s): William E. ByrdUniversity 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 CherkaevUniversity of Utah, Sebastian MusslickPrinceton University, Jonathan CohenPrinceton University, Vivek SrikumarUniversity of Utah, Matthew FlattUniversity of Utah
File Attached
14:30
30m
Talk
Extensible Semantics for Fluidics
Off the Beaten Track
Max WillseyUniversity of Washington, Jared RoeschUniversity of Washington, USA
File Attached
15:00
30m
Talk
Towards Proof Synthesis by Neural Machine Translation
Off the Beaten Track
Taro SekiyamaIBM Research, Japan, Akifumi ImanishiKyoto University, Kohei SuenagaGraduate 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. SiekIndiana 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 MeiklejohnUniversité catholique de Louvain, Peter Van RoyUniversité catholique de Louvain
File Attached
17:30
30m
Day closing
Discussion and business meeting
Off the Beaten Track

Conference Day
Sat 13 Jan

Displayed time zone: Tijuana, Baja California change