POPL 2019
January 13, 2019 - January 19, 2019

Microsoft @ POPL 2019

Lieu: Cascais/Lisbon, Portugal

S'inscrire

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

Jonathan Protzenko

Steering Committee

Andrew D. Gordon

Co-Located Conferences

Certified Programs and Proofs (CPP)

Chris Hawblitzel

Principles of Secure Compilation(PriSC)

Cédric Fournet

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