Microsoft at PLDI 2020
Location: Virtual/Online
Monday, June 15
11:00 – 12:00 PT
PLMW Panel: Charting your Path
Alexandra Silva, Stephen Freund, Madan Musuvathi, Loris D’Antoni
Wednesday, June 17
7:40 – 8:00 PT
“Ask Me Anything”
Simon Peyton Jones
5:00 – 5:20 PT
Typilus: Neural Type Hints
Miltiadis Allamanis, Earl T. Barr, Soline Ducousso, Zheng Gao
6:20 – 6:40 PT
NV: An Intermediate Language for Verification of Network Control Planes
Nick Giannarakis, Devon Loehr, Ryan Beckett, David Walker
10:40 – 11:00 PT
Verifying Concurrent Search Structure Templates
Siddharth Krishna, Nisarg Patel, Dennis Shasha, Thomas Wies
11:00 – 11:20 PT
Armada: Low-Effort Verification of High-Performance Concurrent Programs
Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao
Thursday, June 18
16:40 – 17:00 PT
CacheQuery: Learning Replacement Policies from Hardware Caches
Pepe Vila, Pierre Ganty, Marco Guarnieri, Boris Köpf
Friday, June 19
14:40 – 15:00 PT
EVA: An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Computation
Roshan Dathathri, Blagovesta Kostova, Olli Saarikivi, Wei Dai, Kim Laine, Madan Musuvathi