Microsoft at PLDI 2020

Armada: Low-Effort Verification of High-Performance Concurrent Programs

Jay Lorch, Yixuan Chen, Manos Kapritsos, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao

International Conference on Programming Language Design and Implementation (PLDI) | June 2020

Distinguished Paper Award

Publication Project

CacheQuery: learning replacement policies from hardware caches

Pepe Vila, Pierre Ganty, Marco Guarnieri, Boris Köpf

2020 Programming Language Design and Implementation | June 2020

DOI Publication PDF

Armada: Low-Effort Verification of High-Performance Concurrent Programs

Jay Lorch, Yixuan Chen, Manos Kapritsos, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao

International Conference on Programming Language Design and Implementation (PLDI) | June 2020

Distinguished Paper Award

Publication Project

CacheQuery: learning replacement policies from hardware caches

Pepe Vila, Pierre Ganty, Marco Guarnieri, Boris Köpf

2020 Programming Language Design and Implementation | June 2020

DOI Publication PDF

CacheQuery: learning replacement policies from hardware caches

Pepe Vila, Pierre Ganty, Marco Guarnieri, Boris Köpf

2020 Programming Language Design and Implementation | June 2020

DOI Publication PDF

CacheQuery: learning replacement policies from hardware caches

Pepe Vila, Pierre Ganty, Marco Guarnieri, Boris Köpf

2020 Programming Language Design and Implementation | June 2020

DOI Publication PDF

Armada: Low-Effort Verification of High-Performance Concurrent Programs

Jay Lorch, Yixuan Chen, Manos Kapritsos, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao

International Conference on Programming Language Design and Implementation (PLDI) | June 2020

Distinguished Paper Award

Publication Project

CacheQuery: learning replacement policies from hardware caches

Pepe Vila, Pierre Ganty, Marco Guarnieri, Boris Köpf

2020 Programming Language Design and Implementation | June 2020

DOI Publication PDF