programming language code

June 15, 2020 – June 19, 2020

Microsoft at PLDI 2020

Lieu: Virtual/Online

Publications

Afficher par:

- 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
  
  International Conference on Programming Language Design and Implementation (PLDI) | June 2020
  
  Distinguished Paper Award
  
  Publication Projet
- 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
  
  Jacob R 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 Projet
- 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
  
  Jacob R 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 Projet
- 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

Vos choix de confidentialité