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

Wed 10 Jan
Times are displayed in time zone: Tijuana, Baja California change

08:30 - 10:00: Awards & Keynote-IResearch Papers at Bunker Hill / Watercourt
Chair(s): Ranjit JhalaUniversity of California, San Diego
08:30 - 08:35
Day opening
Welcome to POPL 2018
Research Papers
G: Ranjit JhalaUniversity of California, San Diego, P: Andrew C. MyersCornell University
08:35 - 08:45
Awards
SIGPLAN Awards
Research Papers
Satnam SinghX, the moonshot factory
08:45 - 09:45
Talk
Milner Award Lecture: The Type Soundness Theorem That You Really Want to Prove (and Now You Can)
Research Papers
09:45 - 10:05
Talk
Lightning Overview - Day 1
Research Papers