{"id":727474,"date":"2021-02-22T08:59:40","date_gmt":"2021-02-22T16:59:40","guid":{"rendered":"https:\/\/newed.any0.dpdns.org\/en-us\/research\/?post_type=msr-event&#038;p=727474"},"modified":"2025-08-06T11:51:53","modified_gmt":"2025-08-06T18:51:53","slug":"ppopp-2021","status":"publish","type":"msr-event","link":"https:\/\/newed.any0.dpdns.org\/en-us\/research\/event\/ppopp-2021\/","title":{"rendered":"Microsoft at PPoPP 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:\/\/ppopp21.sigplan.org\/\" target=\"_blank\" rel=\"noopener\">PPoPP 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\u00a0Gold\u00a0sponsor\u00a0of\u00a0the\u00a0<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/ppopp21.sigplan.org\/\" target=\"_blank\" rel=\"noopener\">Principles of Practice and Parallel Programming (PPoPP21) Conference<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>.\u00a0You can find out more about our research in\u00a0<a href=\"https:\/\/newed.any0.dpdns.org\/en-us\/research\/research-area\/programming-languages-software-engineering\/?facet%5Btax%5D%5Bmsr-research-area%5D%5B0%5D=13560&sort_by=most-recent\">programming languages<\/a> and <a href=\"https:\/\/newed.any0.dpdns.org\/en-us\/research\/?post_type=msr-event&p=727474&secret=6jFB41#!opportunities\">apply for open positions<\/a>.<\/p>\n<p>&nbsp;<\/p>\n<h3>Program Committee\u00a0members<\/h3>\n<p><a href=\"https:\/\/newed.any0.dpdns.org\/en-us\/research\/people\/madanm\/\">Madan Musuvathi<\/a>,\u00a0<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/timharris.uk\/\" target=\"_blank\" rel=\"noopener\">Tim Harris<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>, <a href=\"https:\/\/newed.any0.dpdns.org\/en-us\/research\/people\/toddm\/\">Todd Mytkowicz<\/a><\/p>\n<h3>External Review Committee members<\/h3>\n<p><a href=\"https:\/\/newed.any0.dpdns.org\/en-us\/research\/people\/olsaarik\/\">Olli Saarikivi<\/a>, <a href=\"https:\/\/newed.any0.dpdns.org\/en-us\/research\/people\/saemal\/\">Saeed\u00a0Maleki<\/a><\/p>\n<p>&nbsp;<\/p>\n<h3>Monday, March 1<\/h3>\n<p>11:10 \u2013 11:25 (EST) | Session 2: Compilers, Analysis, Synthesis<br \/>\n<strong>Synthesizing Optimal Collective Algorithms<\/strong><br \/>\nZixian\u00a0Cai,\u00a0Zhengyang\u00a0Liu,\u00a0<a href=\"https:\/\/newed.any0.dpdns.org\/en-us\/research\/people\/saemal\/\">Saeed\u00a0Maleki<\/a>, <a href=\"https:\/\/newed.any0.dpdns.org\/en-us\/research\/people\/madanm\/\">Madan Musuvathi<\/a>, <a href=\"https:\/\/newed.any0.dpdns.org\/en-us\/research\/people\/toddm\/\">Todd Mytkowicz<\/a>, <a href=\"https:\/\/newed.any0.dpdns.org\/en-us\/research\/people\/jacnels\/\">Jacob Nelson<\/a>, <a href=\"https:\/\/newed.any0.dpdns.org\/en-us\/research\/people\/olsaarik\/\">Olli Saarikivi<\/a><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\u00a0Gold\u00a0sponsor\u00a0of\u00a0the\u00a0Principles of Practice and Parallel Programming (PPoPP21) Conference.\u00a0You can find out more about our research in\u00a0programming languages\u00a0and apply for open positions at Microsoft Research.<\/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-02-27","msr_enddate":"2021-03-03","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":[],"msr-post-option":[],"msr-impact-theme":[],"class_list":["post-727474","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_about":"<!-- wp:msr\/event-details {\"title\":\"Microsoft at PPoPP 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:\/\/ppopp21.sigplan.org\/\" target=\"_blank\" rel=\"noopener\">PPoPP 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\u00a0Gold\u00a0sponsor\u00a0of\u00a0the\u00a0<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/ppopp21.sigplan.org\/\" target=\"_blank\" rel=\"noopener\">Principles of Practice and Parallel Programming (PPoPP21) Conference<\/a>.\u00a0You can find out more about our research in\u00a0<a href=\"https:\/\/newed.any0.dpdns.org\/en-us\/research\/research-area\/programming-languages-software-engineering\/?facet%5Btax%5D%5Bmsr-research-area%5D%5B0%5D=13560&amp;sort_by=most-recent\">programming languages<\/a> and <a href=\"https:\/\/newed.any0.dpdns.org\/en-us\/research\/?post_type=msr-event&amp;p=727474&amp;secret=6jFB41#!opportunities\">apply for open positions<\/a>.<\/p>\n<p>&nbsp;<\/p>\n<h3>Program Committee\u00a0members<\/h3>\n<p><a href=\"https:\/\/newed.any0.dpdns.org\/en-us\/research\/people\/madanm\/\">Madan Musuvathi<\/a>,\u00a0<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/timharris.uk\/\" target=\"_blank\" rel=\"noopener\">Tim Harris<\/a>, <a href=\"https:\/\/newed.any0.dpdns.org\/en-us\/research\/people\/toddm\/\">Todd Mytkowicz<\/a><\/p>\n<h3>External Review Committee members<\/h3>\n<p><a href=\"https:\/\/newed.any0.dpdns.org\/en-us\/research\/people\/olsaarik\/\">Olli Saarikivi<\/a>, <a href=\"https:\/\/newed.any0.dpdns.org\/en-us\/research\/people\/saemal\/\">Saeed\u00a0Maleki<\/a><\/p>\n<p>&nbsp;<\/p>\n<h3>Monday, March 1<\/h3>\n<p>11:10 \u2013 11:25 (EST) | Session 2: Compilers, Analysis, Synthesis<br \/>\n<strong>Synthesizing Optimal Collective Algorithms<\/strong><br \/>\nZixian\u00a0Cai,\u00a0Zhengyang\u00a0Liu,\u00a0<a href=\"https:\/\/newed.any0.dpdns.org\/en-us\/research\/people\/saemal\/\">Saeed\u00a0Maleki<\/a>, <a href=\"https:\/\/newed.any0.dpdns.org\/en-us\/research\/people\/madanm\/\">Madan Musuvathi<\/a>, <a href=\"https:\/\/newed.any0.dpdns.org\/en-us\/research\/people\/toddm\/\">Todd Mytkowicz<\/a>, <a href=\"https:\/\/newed.any0.dpdns.org\/en-us\/research\/people\/jacnels\/\">Jacob Nelson<\/a>, <a href=\"https:\/\/newed.any0.dpdns.org\/en-us\/research\/people\/olsaarik\/\">Olli Saarikivi<\/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\":\"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\u00a0Gold\u00a0sponsor\u00a0of\u00a0the\u00a0<a href=\"https:\/\/ppopp21.sigplan.org\/\" target=\"_blank\" rel=\"noopener\">Principles of Practice and Parallel Programming (PPoPP21) Conference<\/a>.\u00a0You can find out more about our research in\u00a0<a href=\"https:\/\/newed.any0.dpdns.org\/en-us\/research\/research-area\/programming-languages-software-engineering\/?facet%5Btax%5D%5Bmsr-research-area%5D%5B0%5D=13560&amp;sort_by=most-recent\">programming languages<\/a> and <a href=\"https:\/\/newed.any0.dpdns.org\/en-us\/research\/?post_type=msr-event&amp;p=727474&amp;secret=6jFB41#!opportunities\">apply for open positions<\/a>.\r\n\r\n&nbsp;\r\n<h3>Program Committee\u00a0members<\/h3>\r\n<a href=\"https:\/\/newed.any0.dpdns.org\/en-us\/research\/people\/madanm\/\">Madan Musuvathi<\/a>,\u00a0<a href=\"https:\/\/timharris.uk\/\" target=\"_blank\" rel=\"noopener\">Tim Harris<\/a>, <a href=\"https:\/\/newed.any0.dpdns.org\/en-us\/research\/people\/toddm\/\">Todd Mytkowicz<\/a>\r\n<h3>External Review Committee members<\/h3>\r\n<a href=\"https:\/\/newed.any0.dpdns.org\/en-us\/research\/people\/olsaarik\/\">Olli Saarikivi<\/a>, <a href=\"https:\/\/newed.any0.dpdns.org\/en-us\/research\/people\/saemal\/\">Saeed\u00a0Maleki<\/a>\r\n\r\n&nbsp;\r\n<h3>Monday, March 1<\/h3>\r\n11:10 \u2013 11:25 (EST) | Session 2: Compilers, Analysis, Synthesis\r\n<strong>Synthesizing Optimal Collective Algorithms<\/strong>\r\nZixian\u00a0Cai,\u00a0Zhengyang\u00a0Liu,\u00a0<a href=\"https:\/\/newed.any0.dpdns.org\/en-us\/research\/people\/saemal\/\">Saeed\u00a0Maleki<\/a>, <a href=\"https:\/\/newed.any0.dpdns.org\/en-us\/research\/people\/madanm\/\">Madan Musuvathi<\/a>, <a href=\"https:\/\/newed.any0.dpdns.org\/en-us\/research\/people\/toddm\/\">Todd Mytkowicz<\/a>, <a href=\"https:\/\/newed.any0.dpdns.org\/en-us\/research\/people\/jacnels\/\">Jacob Nelson<\/a>, <a href=\"https:\/\/newed.any0.dpdns.org\/en-us\/research\/people\/olsaarik\/\">Olli Saarikivi<\/a>"},{"id":1,"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-02-27","msr_enddate":"2021-03-03","msr_event_time":"","msr_location":"Virtual","msr_event_link":"","msr_event_recording_link":"","msr_startdate_formatted":"February 27, 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\u00a0Gold\u00a0sponsor\u00a0of\u00a0the\u00a0Principles of Practice and Parallel Programming (PPoPP21) Conference.\u00a0You can find out more about our research in\u00a0programming languages\u00a0and apply for open positions at Microsoft Research.","msr_research_lab":[],"related-researchers":[],"msr_impact_theme":[],"related-academic-programs":[],"related-groups":[],"related-projects":[],"related-opportunities":[],"related-publications":[],"related-videos":[],"related-posts":[],"_links":{"self":[{"href":"https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/727474","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-json\/wp\/v2\/msr-event"}],"about":[{"href":"https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-json\/wp\/v2\/types\/msr-event"}],"version-history":[{"count":4,"href":"https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/727474\/revisions"}],"predecessor-version":[{"id":1146893,"href":"https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/727474\/revisions\/1146893"}],"wp:attachment":[{"href":"https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-json\/wp\/v2\/media?parent=727474"}],"wp:term":[{"taxonomy":"msr-research-area","embeddable":true,"href":"https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-json\/wp\/v2\/research-area?post=727474"},{"taxonomy":"msr-region","embeddable":true,"href":"https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-json\/wp\/v2\/msr-region?post=727474"},{"taxonomy":"msr-event-type","embeddable":true,"href":"https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-json\/wp\/v2\/msr-event-type?post=727474"},{"taxonomy":"msr-video-type","embeddable":true,"href":"https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-json\/wp\/v2\/msr-video-type?post=727474"},{"taxonomy":"msr-locale","embeddable":true,"href":"https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-json\/wp\/v2\/msr-locale?post=727474"},{"taxonomy":"msr-program-audience","embeddable":true,"href":"https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-json\/wp\/v2\/msr-program-audience?post=727474"},{"taxonomy":"msr-post-option","embeddable":true,"href":"https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-json\/wp\/v2\/msr-post-option?post=727474"},{"taxonomy":"msr-impact-theme","embeddable":true,"href":"https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-json\/wp\/v2\/msr-impact-theme?post=727474"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}