Armada: low-effort verification of high-performance concurrent programs

Open Webpage

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

Published: 2020, Last Modified: 26 Jan 2026PLDI 2020EveryoneRevisionsBibTeXCC BY-SA 4.0