{"id":746911,"date":"2021-06-04T15:22:30","date_gmt":"2021-06-04T22:22:30","guid":{"rendered":"https:\/\/www.microsoft.com\/en-us\/research\/?post_type=msr-event&#038;p=746911"},"modified":"2025-08-06T11:51:20","modified_gmt":"2025-08-06T18:51:20","slug":"microsoft-at-pldi-2021","status":"publish","type":"msr-event","link":"https:\/\/www.microsoft.com\/en-us\/research\/event\/microsoft-at-pldi-2021\/","title":{"rendered":"Microsoft at PLDI 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\" title=\"PLDI 2021\" href=\"https:\/\/pldi21.sigplan.org\/track\/pldi-2021-papers#event-overview\" target=\"_blank\" rel=\"noopener noreferrer\">PLDI 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 Silver sponsor at this year\u2019s conference on\u202f<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/pldi21.sigplan.org\/track\/pldi-2021-papers#About\" target=\"_blank\" rel=\"noopener\">Programming Language Design and Implementation<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>\u202f(PLDI). We have several contributions to this year\u2019s programming with Microsoft Research Committee Members and a variety of inspiring accepted papers.<\/p>\n<p><strong>Committee Chair<\/strong><br \/>\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/madanm\/\">Madan Musuvathi<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/p>\n<p>&nbsp;<\/p>\n<h3>Opportunities<\/h3>\n<p>We currently have 100\u2019s of programming languages and software engineering roles open across our teams in North America. Below is a sample, please check out our <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/careers.microsoft.com\/us\/en\" target=\"_blank\" rel=\"noopener\">Careers at Microsoft | Microsoft jobs<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> for more openings or fill out this <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/forms.office.com\/r\/DqLe4n593r\" target=\"_blank\" rel=\"noopener\">quick\u00a0interest form<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>\u00a0to leave us your information! See\u00a0<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/microsoft.sharepoint.com\/:w:\/t\/UniversityPhDTeam\/EVPhWgp-sAFCmuAa9n90h8ABx5drVGO68V4Z6weVBYJTpQ?e=LaIMqw&CID=3223AAA7-A1AA-4243-9FE8-50C6D7E97BE3&wdLOR=c7DCCB35A-321E-4D17-8F58-9A7B205D5932\" target=\"_blank\" rel=\"noopener\">candidate FAQs here<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<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>Koka: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/github.com\/koka-lang\/koka\" target=\"_blank\" rel=\"noopener\">github.com\/koka-lang\/koka<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li>Lean 4: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/leanprover.github.io\/\" target=\"_blank\" rel=\"noopener\">leanprover.github.io<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 Silver sponsor at the 2021 conference on\u202fProgramming Language Design and Implementation\u202f(PLDI).<\/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-06-21","msr_enddate":"2021-06-26","msr_location":"Virtual: GatherTown","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":[],"msr-event-type":[197941],"msr-video-type":[],"msr-locale":[268875],"msr-program-audience":[],"msr-post-option":[],"msr-impact-theme":[],"class_list":["post-746911","msr-event","type-msr-event","status-publish","hentry","msr-research-area-programming-languages-software-engineering","msr-event-type-conferences","msr-locale-en_us"],"msr_about":"<!-- wp:msr\/event-details {\"title\":\"Microsoft at PLDI 2021\",\"backgroundColor\":\"plum\",\"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\" title=\"PLDI 2021\" href=\"https:\/\/pldi21.sigplan.org\/track\/pldi-2021-papers#event-overview\" target=\"_blank\" rel=\"noopener noreferrer\">PLDI 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 Silver sponsor at this year\u2019s conference on\u202f<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/pldi21.sigplan.org\/track\/pldi-2021-papers#About\" target=\"_blank\" rel=\"noopener\">Programming Language Design and Implementation<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>\u202f(PLDI). We have several contributions to this year\u2019s programming with Microsoft Research Committee Members and a variety of inspiring accepted papers.<\/p>\n<p><strong>Committee Chair<\/strong><br \/>\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/madanm\/\">Madan Musuvathi<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/p>\n<p>&nbsp;<\/p>\n<h3>Opportunities<\/h3>\n<p>We currently have 100\u2019s of programming languages and software engineering roles open across our teams in North America. Below is a sample, please check out our <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/careers.microsoft.com\/us\/en\" target=\"_blank\" rel=\"noopener\">Careers at Microsoft | Microsoft jobs<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> for more openings or fill out this <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/forms.office.com\/r\/DqLe4n593r\" target=\"_blank\" rel=\"noopener\">quick\u00a0interest form<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>\u00a0to leave us your information! See\u00a0<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/microsoft.sharepoint.com\/:w:\/t\/UniversityPhDTeam\/EVPhWgp-sAFCmuAa9n90h8ABx5drVGO68V4Z6weVBYJTpQ?e=LaIMqw&amp;CID=3223AAA7-A1AA-4243-9FE8-50C6D7E97BE3&amp;wdLOR=c7DCCB35A-321E-4D17-8F58-9A7B205D5932\" target=\"_blank\" rel=\"noopener\">candidate FAQs here<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-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>Koka: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/github.com\/koka-lang\/koka\" target=\"_blank\" rel=\"noopener\">github.com\/koka-lang\/koka<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li>Lean 4: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/leanprover.github.io\/\" target=\"_blank\" rel=\"noopener\">leanprover.github.io<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 Silver sponsor at this year\u2019s conference on\u202f<a href=\"https:\/\/pldi21.sigplan.org\/track\/pldi-2021-papers#About\" target=\"_blank\" rel=\"noopener\">Programming Language Design and Implementation<\/a>\u202f(PLDI). We have several contributions to this year\u2019s programming with Microsoft Research Committee Members and a variety of inspiring accepted papers.\r\n\r\n<strong>Committee Chair<\/strong>\r\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/madanm\/\">Madan Musuvathi<\/a>\r\n\r\n&nbsp;\r\n<h3>Opportunities<\/h3>\r\nWe currently have 100\u2019s of programming languages and software engineering roles open across our teams in North America. Below is a sample, please check out our <a href=\"https:\/\/careers.microsoft.com\/us\/en\" target=\"_blank\" rel=\"noopener\">Careers at Microsoft | Microsoft jobs<\/a> for more openings or fill out this <a href=\"https:\/\/forms.office.com\/r\/DqLe4n593r\" target=\"_blank\" rel=\"noopener\">quick\u00a0interest form<\/a>\u00a0to leave us your information! See\u00a0<a href=\"https:\/\/microsoft.sharepoint.com\/:w:\/t\/UniversityPhDTeam\/EVPhWgp-sAFCmuAa9n90h8ABx5drVGO68V4Z6weVBYJTpQ?e=LaIMqw&amp;CID=3223AAA7-A1AA-4243-9FE8-50C6D7E97BE3&amp;wdLOR=c7DCCB35A-321E-4D17-8F58-9A7B205D5932\" target=\"_blank\" rel=\"noopener\">candidate FAQs here<\/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>Koka: <a href=\"https:\/\/github.com\/koka-lang\/koka\" target=\"_blank\" rel=\"noopener\">github.com\/koka-lang\/koka<\/a><\/li>\r\n \t<li>Lean 4: <a href=\"https:\/\/leanprover.github.io\/\" target=\"_blank\" rel=\"noopener\">leanprover.github.io<\/a><\/li>\r\n<\/ul>"}],"msr_startdate":"2021-06-21","msr_enddate":"2021-06-26","msr_event_time":"","msr_location":"Virtual: GatherTown","msr_event_link":"","msr_event_recording_link":"","msr_startdate_formatted":"June 21, 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 Silver sponsor at the 2021 conference on\u202fProgramming Language Design and Implementation\u202f(PLDI).","msr_research_lab":[],"related-researchers":[],"msr_impact_theme":[],"related-academic-programs":[],"related-groups":[],"related-projects":[],"related-opportunities":[],"related-publications":[749248,749371,751681],"related-videos":[],"related-posts":[],"_links":{"self":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/746911","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\/746911\/revisions"}],"predecessor-version":[{"id":1146870,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/746911\/revisions\/1146870"}],"wp:attachment":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media?parent=746911"}],"wp:term":[{"taxonomy":"msr-research-area","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/research-area?post=746911"},{"taxonomy":"msr-region","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-region?post=746911"},{"taxonomy":"msr-event-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event-type?post=746911"},{"taxonomy":"msr-video-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-video-type?post=746911"},{"taxonomy":"msr-locale","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-locale?post=746911"},{"taxonomy":"msr-program-audience","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-program-audience?post=746911"},{"taxonomy":"msr-post-option","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-post-option?post=746911"},{"taxonomy":"msr-impact-theme","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-impact-theme?post=746911"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}