{"id":666180,"date":"2020-06-12T16:25:59","date_gmt":"2020-06-12T23:25:59","guid":{"rendered":"https:\/\/www.microsoft.com\/en-us\/research\/?post_type=msr-event&p=666180"},"modified":"2020-06-18T07:49:34","modified_gmt":"2020-06-18T14:49:34","slug":"pldi-2020","status":"publish","type":"msr-event","link":"https:\/\/www.microsoft.com\/en-us\/research\/event\/pldi-2020\/","title":{"rendered":"Microsoft at PLDI 2020"},"content":{"rendered":"

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":"