January 23–25, 2013 | Rome, Italy
Rome, ItalyThis website offers a list of activities at the 2013 Symposium on Principles of Programming Languages (POPL 2013) and co-located workshops and events where Microsoft Research was involved, such as the presentation of papers that were authored or co-authored by members of the Microsoft Research team. You can find links to technologies from Microsoft Research that are available for download or use via the web, including programming language, development, and verification tools and supporting infrastructure. You will also find information about our academic programs that provide support to faculty and students around the world.
POPL 2013 was a forum for the discussion of all aspects of programming languages and systems, with emphasis on how principles underpin practice. It showcased both theoretical and experimental papers, on topics ranging from formal frameworks to experience reports. Papers and workshops at POPL discussed new ideas about programming language design, implementation, and use. Microsoft Research was a sponsor of the event.
Invited Talks by Microsoft Researchers
Engineering Mathematics: the Odd Order Theorem Proof
January 23, 2013, 9:00–10:00
Georges Gonthier, principal researcher, Microsoft Research Cambridge
Microsoft Research Verified Software Milestone Award
We are delighted to announce that Xavier Leroy of the Paris-Rocquencourt research center of INRIA, France, is the recipient of the 2012 Microsoft Research Verified Software Milestone for the CompCert project. Specifically, the award recognizes Xavier's role as architect of the CompCert C verified compiler, as well as his leadership of the development team. The award will be formally presented to Xavier at POPL 2013. The full award citation—as well details about the award process—are available at the Verified Software Initiative website.