Venue: 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. 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, Matthew Parkinson, Nikhil Swamy
Artifact Evaluation Committee
Steering Committee
Co-Located Conferences
Certified Programs and Proofs (CPP)
Principles of Secure Compilation(PriSC)
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!
Nuno Lopes