Microsoft @ POPL 2019
Location: Cascais/Lisbon, Portugal
RegisterVenue: Hotel Cascais Miragem (opens in new tab)
Av.Marginal n.8554
2754-536
Cascais/Lisbon
Portugal
Website: POPL 2019 (opens in new tab)
Microsoft is excited to be a Platinum sponsor of the 46th ACM SIGPLAN Symposium on Principles of Programming Languages (opens in new tab). Stop by our booth to learn about our latest research and find out about career opportunities with Microsoft.
Microsoft Attendees
Tom Ball
Antoine Delignat-Lavaud
Chris Hawblitzel
Nuno Lopes
Jonathan Protzenko
Tahina Ramananandro
Andrey Rybalchenko
Santiago Zanella-Beguelin
Andy Gordon
Nikhil Swamy
Research Paper Committee
Dimitrios Vytiniotis (opens in new tab), Matthew Parkinson, Nikhil Swamy (opens in new tab)
Artifact Evaluation Committee
Steering Committee
Co-Located Conferences
Certified Programs and Proofs (CPP)
Principles of Secure Compilation(PriSC)
Cédric Fournet (opens in new tab)
Invited Speakers
VMCAI 2019, co-located
Tuesday, January 15, 2019 | 9:00 AM–10:30 AM
Semantics for Compiler IRs: Undefined Behavior is not Evil! (opens in new tab)
Nuno Lopes