Microsoft Research @ POPL 2018
Location: Los Angeles, CA, USA
Co-located events: January 7–13, 2018
Venue: Omni Hotel
251 S Olive St
Los Angeles, CA 90012
Website: ACM POPL 2018
Past Events: POPL 2017
We are excited to be part of the 45th ACM SIGPLAN Symposium on Principles of Programming Languages (opens in new tab)(POPL 2018) January 7–13, 2018 at the Omni Hotel in Los Angeles, CA.
Microsoft is a Gold sponsor and proud that many of our researchers in programming language and verification technology are involved in POPL and several of the other co-located conferences and workshops taking place January 7–13. Learn more about our research being presented at POPL 2018 and co-located events below.
POPL 2018
Steering Committee
Andrew D. Gordon (opens in new tab)
Program Committee for Research Papers
Andrey Rybalchenko (opens in new tab)
Aseem Rastogi (opens in new tab)
Co-located conferences and workshops
Co-chair for PPS 2018
Andrew D. Gordon (opens in new tab)
Program Committee for PEPM 2018
Simon Peyton Jones (opens in new tab)
Sriram Rajamani (opens in new tab)
Program Committee for PriSC 2018
Cedric Fournet (opens in new tab)
Nikhil Swamy (opens in new tab)
Program Committee for VMCAI 2018
Rahul Sharma (opens in new tab)
Kenneth L. McMillan (opens in new tab)
Invited Speakers
January 8, 2018 @9:00–10:00 AM | Kenneth L. McMillan (opens in new tab), VMCAI 2018 (opens in new tab)