Website:<\/strong> PLDI 2020 (opens in new tab)<\/span><\/a><\/p>\n","protected":false},"excerpt":{"rendered":"

Microsoft is proud to be a Platinum sponsor at this year\u2019s conference on Programming Language Design and Implementation (PLDI). We have several contributions to this year\u2019s programming with 8 Committee Members, 6 accepted papers, an \u201cAsk Me Anything\u201d with Simon Peyton Jones, and a Panelist at PLMW. Additionally, Microsoft is also sponsoring PLMW and the Student Research Competition.<\/p>\n","protected":false},"featured_media":666225,"template":"","meta":{"msr-url-field":"","msr-podcast-episode":"","msrModifiedDate":"","msrModifiedDateEnabled":false,"ep_exclude_from_search":false,"_classifai_error":"","msr_startdate":"2020-06-15","msr_enddate":"2020-06-19","msr_location":"Virtual\/Online","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,"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-666180","msr-event","type-msr-event","status-publish","has-post-thumbnail","hentry","msr-research-area-programming-languages-software-engineering","msr-region-global","msr-event-type-conferences","msr-locale-en_us"],"msr_about":"Website:<\/strong> PLDI 2020<\/a>","tab-content":[{"id":0,"name":"About","content":"Microsoft is proud to be a Platinum sponsor at this year\u2019s conference on Programming Language Design and Implementation<\/a> (PLDI). We have several contributions to this year\u2019s programming with 8 Committee Members, 6 accepted papers, an \u201cAsk Me Anything\u201d with Simon Peyton Jones, and a Panelist at PLMW<\/a>. Additionally, Microsoft is also sponsoring PLMW and the Student Research Competition<\/a>.\r\n\r\nSteering Committee member<\/strong>\r\nSriram Rajamani<\/a>\r\n\r\nProgram Committee members<\/strong>\r\nSebastian Burckhardt<\/a>, Patrice Godefroid<\/a>, Akash Lal<\/a>\r\n\r\nExternal Program Committee member<\/strong>\r\nMadan Musuvathi <\/a>\r\n\r\nExternal Review Committee members<\/strong>\r\nTing Cao<\/a>, Tahina Ramananandro<\/a>, Aseem Rastogi<\/a>"},{"id":1,"name":"Sessions","content":"

Monday, June 15<\/h2>\r\n11:00 \u2013 12:00 PT\r\nPLMW Panel: Charting your Path<\/strong>\r\nAlexandra Silva, Stephen Freund, Madan Musuvathi<\/a>, Loris D'Antoni\r\n\r\n

---

\r\n\r\n

Wednesday, June 17<\/h2>\r\n7:40 \u2013 8:00 PT\r\n\"Ask Me Anything\"<\/strong>\r\nSimon Peyton Jones<\/a>\r\n\r\n5:00 \u2013 5:20 PT\r\nTypilus: Neural Type Hints<\/strong>\r\nMiltiadis Allamanis<\/strong>, Earl T. Barr, Soline Ducousso, Zheng Gao\r\n\r\n6:20 \u2013 6:40 PT\r\nNV: An Intermediate Language for Verification of Network Control Planes<\/strong>\r\nNick Giannarakis, Devon Loehr, Ryan Beckett<\/a>, David Walker\r\n\r\n10:40 \u2013 11:00 PT\r\nVerifying Concurrent Search Structure Templates<\/strong>\r\nSiddharth Krishna<\/strong>, Nisarg Patel, Dennis Shasha, Thomas Wies\r\n\r\n11:00 \u2013 11:20 PT\r\nArmada: Low-Effort Verification of High-Performance Concurrent Programs<\/strong>\r\nJacob R. Lorch<\/a>, Yixuan Chen, Manos Kapritsos, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao\r\n\r\n

---

\r\n\r\n

Thursday, June 18<\/h2>\r\n16:40 \u2013 17:00 PT\r\nCacheQuery: Learning Replacement Policies from Hardware Caches<\/strong>\r\nPepe Vila, Pierre Ganty, Marco Guarnieri, Boris K\u00f6pf<\/a>\r\n\r\n

---

\r\n\r\n

Friday, June 19<\/h2>\r\n14:40 \u2013 15:00 PT\r\nEVA: An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Computation<\/strong>\r\nRoshan Dathathri, Blagovesta Kostova, Olli Saarikivi<\/a>, Wei Dai<\/a>, Kim Laine<\/a>, Madan Musuvathi<\/a>"},{"id":2,"name":"Open source tools","content":"

\r\n \t
• Automata: github.com\/AutomataDotNet\/Automata<\/a><\/li>\r\n \t
• Ivy: github.com\/Microsoft\/ivy<\/a><\/li>\r\n \t
• Lean Theorem Prover: leanprover.github.io<\/a><\/li>\r\n \t
• Network Verification: github.com\/Z3Prover\/FirewallChecker<\/a><\/li>\r\n \t
• P\/P#: github.com\/p-org<\/a><\/li>\r\n \t
• Project Everest: project-everest.github.io<\/a>\r\n
  \r\n \t
  • F*: fstar-lang.org<\/a><\/li>\r\n \t
  • miTLS: mitls.org<\/a><\/li>\r\n \t
  • KreMLin: github.com\/FStarLang\/kremlin<\/a><\/li>\r\n \t
  • HACL*: github.com\/project-everest\/hacl-star<\/a><\/li>\r\n \t
  • Vale: github.com\/project-everest\/vale<\/a><\/li>\r\n<\/ul>\r\n<\/li>\r\n \t
  • Q#: github.com\/Microsoft\/qsharp-compiler<\/a><\/li>\r\n \t
  • TLA+: github.com\/tlaplus\/tlaplus<\/a><\/li>\r\n \t
  • VeriSol: github.com\/Microsoft\/verisol<\/a><\/li>\r\n \t
  • Z3 Theorem Prover: github.com\/Z3Prover\/z3<\/a><\/li>\r\n<\/ul>"}],"msr_startdate":"2020-06-15","msr_enddate":"2020-06-19","msr_event_time":"","msr_location":"Virtual\/Online","msr_event_link":"","msr_event_recording_link":"","msr_startdate_formatted":"June 15, 2020","msr_register_text":"Watch now","msr_cta_link":"","msr_cta_text":"","msr_cta_bi_name":"","featured_image_thumbnail":"","event_excerpt":"Microsoft is proud to be a Platinum sponsor at this year\u2019s conference on Programming Language Design and Implementation (PLDI). We have several contributions to this year\u2019s programming with 8 Committee Members, 6 accepted papers, an \u201cAsk Me Anything\u201d with Simon Peyton Jones, and a Panelist at PLMW. Additionally, Microsoft is also sponsoring PLMW and the Student Research Competition.","msr_research_lab":[],"related-researchers":[],"msr_impact_theme":[],"related-academic-programs":[],"related-groups":[],"related-projects":[],"related-opportunities":[],"related-publications":[650721,663702],"related-videos":[],"related-posts":[],"_links":{"self":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/666180","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":7,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/666180\/revisions"}],"predecessor-version":[{"id":668145,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/666180\/revisions\/668145"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media\/666225"}],"wp:attachment":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media?parent=666180"}],"wp:term":[{"taxonomy":"msr-research-area","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/research-area?post=666180"},{"taxonomy":"msr-region","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-region?post=666180"},{"taxonomy":"msr-event-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event-type?post=666180"},{"taxonomy":"msr-video-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-video-type?post=666180"},{"taxonomy":"msr-locale","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-locale?post=666180"},{"taxonomy":"msr-program-audience","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-program-audience?post=666180"},{"taxonomy":"msr-post-option","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-post-option?post=666180"},{"taxonomy":"msr-impact-theme","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-impact-theme?post=666180"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}