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

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