{"id":354182,"date":"2017-01-17T16:17:11","date_gmt":"2017-01-18T00:17:11","guid":{"rendered":"https:\/\/www.microsoft.com\/en-us\/research\/?post_type=msr-event&#038;p=354182"},"modified":"2025-08-06T11:58:41","modified_gmt":"2025-08-06T18:58:41","slug":"popl2017","status":"publish","type":"msr-event","link":"https:\/\/www.microsoft.com\/en-us\/research\/event\/popl2017\/","title":{"rendered":"44th ACM SIGPLAN Symposium on Principles of Programming Languages"},"content":{"rendered":"\n\n<p><strong>Tutorials<\/strong>: January 16<\/p>\n<p><strong>Venue<\/strong>: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/popl17.sigplan.org\/venue\/POPL-2017\/paris-jussieu\" target=\"_blank\" rel=\"noopener\">The Jussieu campus of Universit\u00e9 Pierre et Marie Curie (Paris 6)<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/p>\n<p><strong>Event site<\/strong>: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/conf.researchr.org\/home\/POPL-2017\" target=\"_blank\" rel=\"noopener\">POPL 2017<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n","protected":false},"excerpt":{"rendered":"<p>The 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017) is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimental papers are welcome, on topics ranging from formal frameworks to experience reports.<\/p>\n","protected":false},"featured_media":0,"template":"","meta":{"msr-url-field":"","msr-podcast-episode":"","msrModifiedDate":"","msrModifiedDateEnabled":false,"ep_exclude_from_search":false,"_classifai_error":"","msr_startdate":"2017-01-15","msr_enddate":"2017-01-21","msr_location":"Paris, France","msr_expirationdate":"","msr_event_recording_link":"","msr_event_link":"","msr_event_link_redirect":false,"msr_event_time":"","msr_hide_region":true,"msr_private_event":false,"msr_hide_image_in_river":0,"footnotes":""},"research-area":[13560],"msr-region":[239178],"msr-event-type":[197941],"msr-video-type":[],"msr-locale":[268875],"msr-program-audience":[],"msr-post-option":[],"msr-impact-theme":[],"class_list":["post-354182","msr-event","type-msr-event","status-publish","hentry","msr-research-area-programming-languages-software-engineering","msr-region-europe","msr-event-type-conferences","msr-locale-en_us"],"msr_about":"<!-- wp:msr\/event-details {\"title\":\"44th ACM SIGPLAN Symposium on Principles of Programming Languages\",\"backgroundColor\":\"grey\"} \/-->\n\n<!-- wp:msr\/content-tabs --><!-- wp:msr\/content-tab {\"title\":\"Overview\"} --><!-- wp:freeform --><p><strong>Tutorials<\/strong>: January 16<\/p>\n<p><strong>Venue<\/strong>: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/popl17.sigplan.org\/venue\/POPL-2017\/paris-jussieu\" target=\"_blank\" rel=\"noopener\">The Jussieu campus of Universit\u00e9 Pierre et Marie Curie (Paris 6)<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/p>\n<p><strong>Event site<\/strong>: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/conf.researchr.org\/home\/POPL-2017\" target=\"_blank\" rel=\"noopener\">POPL 2017<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n<!-- \/wp:freeform --><!-- \/wp:msr\/content-tab --><!-- \/wp:msr\/content-tabs -->","tab-content":[{"id":0,"name":"","content":"We are excited to be part of the <a href=\"http:\/\/conf.researchr.org\/home\/POPL-2017\" target=\"_blank\" rel=\"noopener\">44th ACM SIGPLAN Symposium on Principles of Programming Languages <\/a>(POPL 2017)\u00a0in Paris, France, January 15-21, 2017, at the Jussieu campus of Universit\u00e9 Pierre et Marie Curie (Paris 6).\r\n\r\nMicrosoft is a Gold sponsor and proud that over a dozen of our researchers in programming language and verification technology are involved in POPL, including Andy Gordon who is the Program Chair of the conference. We also hosted the POPL PC meeting at MSR Cambridge. Learn more about our research being presented at POPL 2017 at the Tutorial and\u00a0the Accepted papers below.\r\n\r\n[caption id=\"attachment_354260\" align=\"alignleft\" width=\"1024\"]<img class=\"size-large wp-image-354260\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2017\/01\/POPL-2017-PC-Meeting-framed-1024x576.jpg\" alt=\"POPL 2017 PC meeting at the Microsoft Research Cambridge Lab\" width=\"1024\" height=\"576\" \/> POPL 2017 PC meeting at the Microsoft Research Cambridge Lab[\/caption]\r\n<h2>Program Chair<\/h2>\r\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/adg\/\">Andy Gordon<\/a>\r\n<h2>Program committee members<\/h2>\r\n<ul>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/akashl\/\">Akash Lal <\/a>(PC)<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/risin\/\">Rishabh Singh <\/a>(PC)<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/nbjorner\/\">Nikolaj Bj\u00f8rner <\/a>(ERC)<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/nlopes\/\">Nuno P. Lopes <\/a>(ERC)<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/grama\/\">G. Ramalingam <\/a>(ERC)<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/aseemr\/\">Aseem Rastogi <\/a>(ERC)<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/rybal\/\">Andrey Rybalchenko <\/a>(ERC)<\/li>\r\n<\/ul>\r\n<h2>Tutorials:<\/h2>\r\n<a href=\"http:\/\/popl17.sigplan.org\/track\/POPL-2017-Tutorials#modal-phid_2f67ed28b4bd6ff7f074956809dd3aa0\" target=\"_blank\" rel=\"noopener\">The Lean Theorem Prover<\/a>\u2014Leonardo de Moura\r\n<h2>Accepted papers:<\/h2>\r\n<a href=\"http:\/\/dl.acm.org\/authorize.cfm?key=N29910\" target=\"_blank\" rel=\"noopener\">Ogre and Pythia: an invariance proof method for weak consistency models<\/a>\u2014Jade Alglave, Patrick Cousot\r\n\r\n<a href=\"http:\/\/dl.acm.org\/authorize?N29936\" target=\"_blank\" rel=\"noopener\">Monadic second-order logic on finite sequences<\/a>\u2014Loris D'Antoni, Margus Veanes\r\n\r\n<a href=\"http:\/\/dl.acm.org\/authorize?N29056\" target=\"_blank\" rel=\"noopener\">Dijkstra monads for free<\/a>\u2014Danel Ahman, C\u0103t\u0103lin Hri\u0163cu, Kenji Maillard, Guido Mart\u00ednez, Gordon Plotkin, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy"}],"msr_startdate":"2017-01-15","msr_enddate":"2017-01-21","msr_event_time":"","msr_location":"Paris, France","msr_event_link":"","msr_event_recording_link":"","msr_startdate_formatted":"January 15, 2017","msr_register_text":"Watch now","msr_cta_link":"","msr_cta_text":"","msr_cta_bi_name":"","featured_image_thumbnail":null,"event_excerpt":"The 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017) is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimental papers are welcome, on topics ranging from formal frameworks to experience reports.","msr_research_lab":[199561],"related-researchers":[{"type":"user_nicename","display_name":"Nikolaj Bj\u00f8rner","user_id":33067,"people_section":"Group 1","alias":"nbjorner"},{"type":"user_nicename","display_name":"G. Ramalingam","user_id":31903,"people_section":"Group 1","alias":"grama"},{"type":"user_nicename","display_name":"Akash Lal","user_id":30905,"people_section":"Group 1","alias":"akashl"},{"type":"user_nicename","display_name":"Aseem Rastogi","user_id":36021,"people_section":"Group 1","alias":"aseemr"}],"msr_impact_theme":[],"related-academic-programs":[],"related-groups":[],"related-projects":[],"related-opportunities":[],"related-publications":[],"related-videos":[],"related-posts":[],"_links":{"self":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/354182","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event"}],"about":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/types\/msr-event"}],"version-history":[{"count":3,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/354182\/revisions"}],"predecessor-version":[{"id":1147196,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/354182\/revisions\/1147196"}],"wp:attachment":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media?parent=354182"}],"wp:term":[{"taxonomy":"msr-research-area","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/research-area?post=354182"},{"taxonomy":"msr-region","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-region?post=354182"},{"taxonomy":"msr-event-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event-type?post=354182"},{"taxonomy":"msr-video-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-video-type?post=354182"},{"taxonomy":"msr-locale","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-locale?post=354182"},{"taxonomy":"msr-program-audience","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-program-audience?post=354182"},{"taxonomy":"msr-post-option","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-post-option?post=354182"},{"taxonomy":"msr-impact-theme","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-impact-theme?post=354182"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}