{"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":"2025-08-06T11:52:47","modified_gmt":"2025-08-06T18:52:47","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":"\n\n

Website:<\/strong> PLDI 2020 (opens in new tab)<\/span><\/a>Opens in a new tab<\/span><\/p>\n

Microsoft is proud to be a Platinum sponsor at this year\u2019s conference on Programming Language Design and Implementation (opens in new tab)<\/span><\/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 (opens in new tab)<\/span><\/a>. Additionally, Microsoft is also sponsoring PLMW and the Student Research Competition (opens in new tab)<\/span><\/a>.<\/p>\n

Steering Committee member<\/strong>
\nSriram Rajamani<\/a><\/p>\n

Program Committee members<\/strong>
\nSebastian Burckhardt<\/a>, Patrice Godefroid<\/a>, Akash Lal<\/a><\/p>\n

External Program Committee member<\/strong>
\nMadan Musuvathi <\/a><\/p>\n

External Review Committee members<\/strong>
\nTing Cao<\/a>, Tahina Ramananandro<\/a>, Aseem Rastogi<\/a>Opens in a new tab<\/span><\/p>\n

Monday, June 15<\/h2>\n

11:00 \u2013 12:00 PT
\nPLMW Panel: Charting your Path<\/strong>
\nAlexandra Silva, Stephen Freund, Madan Musuvathi<\/a>, Loris D’Antoni<\/p>\n

\n

Wednesday, June 17<\/h2>\n

7:40 \u2013 8:00 PT
\n“Ask Me Anything”<\/strong>
\nSimon Peyton Jones<\/a><\/p>\n

5:00 \u2013 5:20 PT
\nTypilus: Neural Type Hints<\/strong>
\nMiltiadis Allamanis<\/strong>, Earl T. Barr, Soline Ducousso, Zheng Gao<\/p>\n

6:20 \u2013 6:40 PT
\nNV: An Intermediate Language for Verification of Network Control Planes<\/strong>
\nNick Giannarakis, Devon Loehr, Ryan Beckett<\/a>, David Walker<\/p>\n

10:40 \u2013 11:00 PT
\nVerifying Concurrent Search Structure Templates<\/strong>
\nSiddharth Krishna<\/strong>, Nisarg Patel, Dennis Shasha, Thomas Wies<\/p>\n

11:00 \u2013 11:20 PT
\nArmada: Low-Effort Verification of High-Performance Concurrent Programs<\/strong>
\nJacob R. Lorch<\/a>, Yixuan Chen, Manos Kapritsos, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao<\/p>\n

\n

Thursday, June 18<\/h2>\n

16:40 \u2013 17:00 PT
\nCacheQuery: Learning Replacement Policies from Hardware Caches<\/strong>
\nPepe Vila, Pierre Ganty, Marco Guarnieri, Boris K\u00f6pf<\/a><\/p>\n

\n

Friday, June 19<\/h2>\n

14:40 \u2013 15:00 PT
\nEVA: An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Computation<\/strong>
\nRoshan Dathathri, Blagovesta Kostova, Olli Saarikivi<\/a>, Wei Dai<\/a>, Kim Laine<\/a>, Madan Musuvathi<\/a>Opens in a new tab<\/span><\/p>\n