{"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":"2025-08-06T11:52:05","modified_gmt":"2025-08-06T18:52:05","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":"\n\n<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><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n<p>Microsoft is proud to be a sponsor of the <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\">48th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2021)<span class=\"sr-only\"> (opens in new tab)<\/span><\/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&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>.<\/p>\n<div class=\"video-wrapper margin-bottom-sp1\"><iframe loading=\"lazy\" title=\"Microsoft Research sponsors POPL 2021\" width=\"500\" height=\"281\" src=\"https:\/\/www.youtube-nocookie.com\/embed\/tfz4jdwsEaQ?feature=oembed&rel=0\" frameborder=\"0\" allow=\"accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture; web-share\" referrerpolicy=\"strict-origin-when-cross-origin\" allowfullscreen><\/iframe><\/div>\n<h3>Program Committee members<\/h3>\n<p><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/simonpj\/\">Simon Peyton Jones<\/a><br \/>\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/arradha\/\">Arjun Radhakrishna<\/a><br \/>\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/aseemr\/\">Aseem Rastogi<\/a><br \/>\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/rahsha\/\">Rahul Sharma<\/a><br \/>\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/santiago\/\">Santiago Zanella-B\u00e9guelin<\/a><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n<p><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/sumitg\/\">Sumit Gulwani<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> received\u00a0<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" title=\"(Opens in new window)\" href=\"http:\/\/sigplan.org\/Awards\/POPL\/\" target=\"_blank\" rel=\"noopener noreferrer\">POPL\u2019s Most Influential Paper Award 2021<span class=\"sr-only\"> (opens in new tab)<\/span><\/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><span class=\"sr-only\"> (opens in new tab)<\/span><\/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&#8217;s research influenced Microsoft Excel with the feature known as <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"https:\/\/support.microsoft.com\/en-us\/office\/using-flash-fill-in-excel-3f9bcf1e-db93-4890-94a0-1578341f73f7\">Flash Fill.<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/p>\n<div class=\"video-wrapper margin-bottom-sp1\"><iframe loading=\"lazy\" title=\"The actors behind Flash Fill\" width=\"500\" height=\"281\" src=\"https:\/\/www.youtube-nocookie.com\/embed\/dBJLmYjfcbU?feature=oembed&rel=0\" frameborder=\"0\" allow=\"accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture; web-share\" referrerpolicy=\"strict-origin-when-cross-origin\" allowfullscreen><\/iframe><\/div>\n<div class=\"video-wrapper margin-bottom-sp1\"><iframe loading=\"lazy\" title=\"The story of Flash Fill and (how it shaped) me\" width=\"500\" height=\"281\" src=\"https:\/\/www.youtube-nocookie.com\/embed\/421gU482xFE?feature=oembed&rel=0\" frameborder=\"0\" allow=\"accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture; web-share\" referrerpolicy=\"strict-origin-when-cross-origin\" allowfullscreen><\/iframe><\/div>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n<ul>\n<li>Automata: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/github.com\/AutomataDotNet\/Automata\" target=\"_blank\" rel=\"noopener\">github.com\/AutomataDotNet\/Automata<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li>Ivy: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/github.com\/Microsoft\/ivy\" target=\"_blank\" rel=\"noopener\">github.com\/Microsoft\/ivy<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li>Lean Theorem Prover: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/leanprover.github.io\" target=\"_blank\" rel=\"noopener\">leanprover.github.io<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li>Network Verification: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/github.com\/Z3Prover\/\" target=\"_blank\" rel=\"noopener\">github.com\/Z3Prover\/FirewallChecker<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li>P\/P#: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/github.com\/p-org\" target=\"_blank\" rel=\"noopener\">github.com\/p-org<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li>Project Everest: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/project-everest.github.io\" target=\"_blank\" rel=\"noopener\">project-everest.github.io<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>\n<ul>\n<li>F*: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/fstar-lang.org\" target=\"_blank\" rel=\"noopener\">fstar-lang.org<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li>miTLS: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/mitls.org\" target=\"_blank\" rel=\"noopener\">mitls.org<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li>KreMLin: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/github.com\/FStarLang\/kremlin\" target=\"_blank\" rel=\"noopener\">github.com\/FStarLang\/kremlin<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li>HACL*: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/github.com\/project-everest\/hacl-star\" target=\"_blank\" rel=\"noopener\">github.com\/project-everest\/hacl-star<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li>Vale: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/github.com\/project-everest\/vale\" target=\"_blank\" rel=\"noopener\">github.com\/project-everest\/vale<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<\/ul>\n<\/li>\n<li>Q#: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/github.com\/Microsoft\/qsharp-compiler\" target=\"_blank\" rel=\"noopener\">github.com\/Microsoft\/qsharp-compiler<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li>TLA+: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/github.com\/tlaplus\/tlaplus\" target=\"_blank\" rel=\"noopener\">github.com\/tlaplus\/tlaplus<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li>VeriSol: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/github.com\/Microsoft\/verisol\" target=\"_blank\" rel=\"noopener\">github.com\/Microsoft\/verisol<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li>Z3 Theorem Prover: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/github.com\/Z3Prover\/z3\" target=\"_blank\" rel=\"noopener\">github.com\/Z3Prover\/z3<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<\/ul>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/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,"_classifai_error":"","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,"msr_hide_image_in_river":0,"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":"<!-- wp:msr\/event-details {\"title\":\"Microsoft at POPL 2021\",\"backgroundColor\":\"grey\",\"imageType\":\"full-bleed\"} \/-->\n\n<!-- wp:msr\/content-tabs --><!-- wp:msr\/content-tab {\"title\":\"About\"} --><!-- wp:freeform --><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><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n<p>Microsoft is proud to be a sponsor of the <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\">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>.<\/p>\n<div class=\"video-wrapper margin-bottom-sp1\"><iframe loading=\"lazy\" title=\"Microsoft Research sponsors POPL 2021\" width=\"500\" height=\"281\" src=\"https:\/\/www.youtube-nocookie.com\/embed\/tfz4jdwsEaQ?feature=oembed&#038;rel=0\" frameborder=\"0\" allow=\"accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture; web-share\" referrerpolicy=\"strict-origin-when-cross-origin\" allowfullscreen><\/iframe><\/div>\n<h3>Program Committee members<\/h3>\n<p><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/simonpj\/\">Simon Peyton Jones<\/a><br \/>\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/arradha\/\">Arjun Radhakrishna<\/a><br \/>\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/aseemr\/\">Aseem Rastogi<\/a><br \/>\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/rahsha\/\">Rahul Sharma<\/a><br \/>\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/santiago\/\">Santiago Zanella-B\u00e9guelin<\/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-tab {\"title\":\"Awards\"} --><!-- wp:freeform --><p><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/sumitg\/\">Sumit Gulwani<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> received\u00a0<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" title=\"(Opens in new window)\" href=\"http:\/\/sigplan.org\/Awards\/POPL\/\" target=\"_blank\" rel=\"noopener noreferrer\">POPL\u2019s Most Influential Paper Award 2021<span class=\"sr-only\"> (opens in new tab)<\/span><\/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><span class=\"sr-only\"> (opens in new tab)<\/span><\/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&#8217;s research influenced Microsoft Excel with the feature known as <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"https:\/\/support.microsoft.com\/en-us\/office\/using-flash-fill-in-excel-3f9bcf1e-db93-4890-94a0-1578341f73f7\">Flash Fill.<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/p>\n<div class=\"video-wrapper margin-bottom-sp1\"><iframe loading=\"lazy\" title=\"The actors behind Flash Fill\" width=\"500\" height=\"281\" src=\"https:\/\/www.youtube-nocookie.com\/embed\/dBJLmYjfcbU?feature=oembed&#038;rel=0\" frameborder=\"0\" allow=\"accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture; web-share\" referrerpolicy=\"strict-origin-when-cross-origin\" allowfullscreen><\/iframe><\/div>\n<div class=\"video-wrapper margin-bottom-sp1\"><iframe loading=\"lazy\" title=\"The story of Flash Fill and (how it shaped) me\" width=\"500\" height=\"281\" src=\"https:\/\/www.youtube-nocookie.com\/embed\/421gU482xFE?feature=oembed&#038;rel=0\" frameborder=\"0\" allow=\"accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture; web-share\" referrerpolicy=\"strict-origin-when-cross-origin\" allowfullscreen><\/iframe><\/div>\n<p><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-tab {\"title\":\"Open source tools\"} --><!-- wp:freeform --><ul>\n<li>Automata: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/github.com\/AutomataDotNet\/Automata\" target=\"_blank\" rel=\"noopener\">github.com\/AutomataDotNet\/Automata<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li>Ivy: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/github.com\/Microsoft\/ivy\" target=\"_blank\" rel=\"noopener\">github.com\/Microsoft\/ivy<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li>Lean Theorem Prover: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/leanprover.github.io\" target=\"_blank\" rel=\"noopener\">leanprover.github.io<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li>Network Verification: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/github.com\/Z3Prover\/\" target=\"_blank\" rel=\"noopener\">github.com\/Z3Prover\/FirewallChecker<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li>P\/P#: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/github.com\/p-org\" target=\"_blank\" rel=\"noopener\">github.com\/p-org<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li>Project Everest: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/project-everest.github.io\" target=\"_blank\" rel=\"noopener\">project-everest.github.io<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>\n<ul>\n<li>F*: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/fstar-lang.org\" target=\"_blank\" rel=\"noopener\">fstar-lang.org<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li>miTLS: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/mitls.org\" target=\"_blank\" rel=\"noopener\">mitls.org<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li>KreMLin: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/github.com\/FStarLang\/kremlin\" target=\"_blank\" rel=\"noopener\">github.com\/FStarLang\/kremlin<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li>HACL*: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/github.com\/project-everest\/hacl-star\" target=\"_blank\" rel=\"noopener\">github.com\/project-everest\/hacl-star<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li>Vale: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/github.com\/project-everest\/vale\" target=\"_blank\" rel=\"noopener\">github.com\/project-everest\/vale<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<\/ul>\n<\/li>\n<li>Q#: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/github.com\/Microsoft\/qsharp-compiler\" target=\"_blank\" rel=\"noopener\">github.com\/Microsoft\/qsharp-compiler<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li>TLA+: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/github.com\/tlaplus\/tlaplus\" target=\"_blank\" rel=\"noopener\">github.com\/tlaplus\/tlaplus<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li>VeriSol: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/github.com\/Microsoft\/verisol\" target=\"_blank\" rel=\"noopener\">github.com\/Microsoft\/verisol<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li>Z3 Theorem Prover: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/github.com\/Z3Prover\/z3\" target=\"_blank\" rel=\"noopener\">github.com\/Z3Prover\/z3<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<\/ul>\n<p><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":"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":[718771,718828],"related-posts":[719287],"_links":{"self":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/716341","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\/716341\/revisions"}],"predecessor-version":[{"id":1146909,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/716341\/revisions\/1146909"}],"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}]}}