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

Hacker experienced in functional programming, domain-specific languages, compilers, custom hardware acceleration esp. with FPGAs, concurrency and parallelism, formal verification, configuration management, distributed systems, container orchestration, cloud computing and low level Android performance improvement. Ex-academic with experience of paper writing and obtaining research grants and a love of teaching. Professional duties include ACM SIGPLAN executive committee member, IFIP WG2.8 member and much experience of PCs and sitting on government grant award committees.

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