POPL 2016
43rd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2016)
Powered by
Conference Publishing Consulting
43rd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2016)
,
January 20–22, 2016
,
St. Petersburg, FL, USA
POPL 2016 – Proceedings
Contents
-
Abstracts
-
Authors
Keynotes
Programming the World of Uncertain Things (Keynote)
Kathryn S. McKinley
(Microsoft Research, USA)
Synthesis of Reactive Controllers for Hybrid Systems (Keynote)
Richard M. Murray
(California Institute of Technology, USA)
Confluences in Programming Languages Research (Keynote)
David Walker
(Princeton University, USA)
proc time: 0.91