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 JanDisplayed time zone: Tijuana, Baja California change
08:30 - 10:00
|Welcome to POPL 2018
Satnam Singh X, the moonshot factory
|Milner Award Lecture: The Type Soundness Theorem That You Really Want to Prove (and Now You Can)
Derek Dreyer MPI-SWS
|Lightning Overview - Day 1