{"id":716341,"date":"2021-01-11T11:08:26","date_gmt":"2021-01-11T19:08:26","guid":{"rendered":"https:\/\/www.microsoft.com\/en-us\/research\/?post_type=msr-event&#038;p=716341"},"modified":"2021-01-25T09:00:12","modified_gmt":"2021-01-25T17:00:12","slug":"popl-2021","status":"publish","type":"msr-event","link":"https:\/\/www.microsoft.com\/en-us\/research\/event\/popl-2021\/","title":{"rendered":"Microsoft at POPL 2021"},"content":{"rendered":"<p><strong>Website:<\/strong> <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/popl21.sigplan.org\/\" target=\"_blank\" rel=\"noopener\">POPL 2021<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Microsoft is proud to be a sponsor of the 48th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2021). You can find out more about our research in programming languages and apply for open positions.<\/p>\n","protected":false},"featured_media":0,"template":"","meta":{"msr-url-field":"","msr-podcast-episode":"","msrModifiedDate":"","msrModifiedDateEnabled":false,"ep_exclude_from_search":false,"msr_startdate":"2021-01-17","msr_enddate":"2021-01-22","msr_location":"Virtual","msr_expirationdate":"","msr_event_recording_link":"","msr_event_link":"","msr_event_link_redirect":false,"msr_event_time":"","msr_hide_region":false,"msr_private_event":false,"footnotes":""},"research-area":[13560],"msr-region":[256048],"msr-event-type":[197941],"msr-video-type":[],"msr-locale":[268875],"msr-program-audience":[243727,243724],"msr-post-option":[],"msr-impact-theme":[],"class_list":["post-716341","msr-event","type-msr-event","status-publish","hentry","msr-research-area-programming-languages-software-engineering","msr-region-global","msr-event-type-conferences","msr-locale-en_us","msr-program-audience-faculty","msr-program-audience-students"],"msr_about":"<strong>Website:<\/strong> <a href=\"https:\/\/popl21.sigplan.org\/\" target=\"_blank\" rel=\"noopener\">POPL 2021<\/a>","tab-content":[{"id":0,"name":"About","content":"Microsoft is proud to be a sponsor of the <a href=\"https:\/\/popl21.sigplan.org\/\" target=\"_blank\" rel=\"noopener\">48th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2021)<\/a>. You can find out more about our <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/research-area\/programming-languages-software-engineering\/?facet%5Btax%5D%5Bmsr-research-area%5D%5B0%5D=13560&amp;sort_by=most-recent\">research in programming languages<\/a> and apply for open positions <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/event\/popl-2021\/#!opportunities\">here<\/a>.\r\n\r\nhttps:\/\/youtu.be\/tfz4jdwsEaQ\r\n<h3>Program Committee members<\/h3>\r\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/simonpj\/\">Simon Peyton Jones<\/a>\r\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/arradha\/\">Arjun Radhakrishna<\/a>\r\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/aseemr\/\">Aseem Rastogi<\/a>\r\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/rahsha\/\">Rahul Sharma<\/a>\r\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/santiago\/\">Santiago Zanella-B\u00e9guelin<\/a>"},{"id":1,"name":"Awards","content":"<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/sumitg\/\">Sumit Gulwani<\/a> received\u00a0<a class=\"\" title=\"(Opens in new window)\" href=\"http:\/\/sigplan.org\/Awards\/POPL\/\" target=\"_blank\" rel=\"noopener noreferrer\">POPL\u2019s Most Influential Paper Award 2021<\/a>\u00a0for his paper <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/publication\/automating-string-processing-spreadsheets-using-input-output-examples\/\"><i>Automating String Processing in Spreadsheets Using Input-Output Examples<\/i><\/a>. This is the second consecutive year in a row that Sumit has been honored with this award. It is presented annually to the author(s) of a paper presented at the POPL 10 years prior that had the greatest influence over the past decade. Sumit's research influenced Microsoft Excel with the feature known as <a href=\"https:\/\/support.microsoft.com\/en-us\/office\/using-flash-fill-in-excel-3f9bcf1e-db93-4890-94a0-1578341f73f7\">Flash Fill.<\/a>\r\n\r\nhttps:\/\/youtu.be\/dBJLmYjfcbU\r\n\r\nhttps:\/\/youtu.be\/421gU482xFE"},{"id":2,"name":"Open source tools","content":"<ul>\r\n \t<li>Automata: <a href=\"http:\/\/github.com\/AutomataDotNet\/Automata\" target=\"_blank\" rel=\"noopener\">github.com\/AutomataDotNet\/Automata<\/a><\/li>\r\n \t<li>Ivy: <a href=\"http:\/\/github.com\/Microsoft\/ivy\" target=\"_blank\" rel=\"noopener\">github.com\/Microsoft\/ivy<\/a><\/li>\r\n \t<li>Lean Theorem Prover: <a href=\"http:\/\/leanprover.github.io\" target=\"_blank\" rel=\"noopener\">leanprover.github.io<\/a><\/li>\r\n \t<li>Network Verification: <a href=\"http:\/\/github.com\/Z3Prover\/\" target=\"_blank\" rel=\"noopener\">github.com\/Z3Prover\/FirewallChecker<\/a><\/li>\r\n \t<li>P\/P#: <a href=\"http:\/\/github.com\/p-org\" target=\"_blank\" rel=\"noopener\">github.com\/p-org<\/a><\/li>\r\n \t<li>Project Everest: <a href=\"http:\/\/project-everest.github.io\" target=\"_blank\" rel=\"noopener\">project-everest.github.io<\/a>\r\n<ul>\r\n \t<li>F*: <a href=\"http:\/\/fstar-lang.org\" target=\"_blank\" rel=\"noopener\">fstar-lang.org<\/a><\/li>\r\n \t<li>miTLS: <a href=\"http:\/\/mitls.org\" target=\"_blank\" rel=\"noopener\">mitls.org<\/a><\/li>\r\n \t<li>KreMLin: <a href=\"http:\/\/github.com\/FStarLang\/kremlin\" target=\"_blank\" rel=\"noopener\">github.com\/FStarLang\/kremlin<\/a><\/li>\r\n \t<li>HACL*: <a href=\"http:\/\/github.com\/project-everest\/hacl-star\" target=\"_blank\" rel=\"noopener\">github.com\/project-everest\/hacl-star<\/a><\/li>\r\n \t<li>Vale: <a href=\"http:\/\/github.com\/project-everest\/vale\" target=\"_blank\" rel=\"noopener\">github.com\/project-everest\/vale<\/a><\/li>\r\n<\/ul>\r\n<\/li>\r\n \t<li>Q#: <a href=\"https:\/\/github.com\/Microsoft\/qsharp-compiler\" target=\"_blank\" rel=\"noopener\">github.com\/Microsoft\/qsharp-compiler<\/a><\/li>\r\n \t<li>TLA+: <a href=\"http:\/\/github.com\/tlaplus\/tlaplus\" target=\"_blank\" rel=\"noopener\">github.com\/tlaplus\/tlaplus<\/a><\/li>\r\n \t<li>VeriSol: <a href=\"https:\/\/github.com\/Microsoft\/verisol\" target=\"_blank\" rel=\"noopener\">github.com\/Microsoft\/verisol<\/a><\/li>\r\n \t<li>Z3 Theorem Prover: <a href=\"http:\/\/github.com\/Z3Prover\/z3\" target=\"_blank\" rel=\"noopener\">github.com\/Z3Prover\/z3<\/a><\/li>\r\n<\/ul>"}],"msr_startdate":"2021-01-17","msr_enddate":"2021-01-22","msr_event_time":"","msr_location":"Virtual","msr_event_link":"","msr_event_recording_link":"","msr_startdate_formatted":"January 17, 2021","msr_register_text":"Watch now","msr_cta_link":"","msr_cta_text":"","msr_cta_bi_name":"","featured_image_thumbnail":null,"event_excerpt":"Microsoft is proud to be a sponsor of the 48th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2021). You can find out more about our research in programming languages and apply for open positions.","msr_research_lab":[199561],"related-researchers":[],"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\/716341"}],"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":2,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/716341\/revisions"}],"predecessor-version":[{"id":716470,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/716341\/revisions\/716470"}],"wp:attachment":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media?parent=716341"}],"wp:term":[{"taxonomy":"msr-research-area","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/research-area?post=716341"},{"taxonomy":"msr-region","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-region?post=716341"},{"taxonomy":"msr-event-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event-type?post=716341"},{"taxonomy":"msr-video-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-video-type?post=716341"},{"taxonomy":"msr-locale","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-locale?post=716341"},{"taxonomy":"msr-program-audience","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-program-audience?post=716341"},{"taxonomy":"msr-post-option","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-post-option?post=716341"},{"taxonomy":"msr-impact-theme","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-impact-theme?post=716341"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}