Jacob R. Lorch, Yixuan Chen 0002, Manos Kapritsos, Haojun Ma, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao. Armada: Automated Verification of Concurrent Code with Sound Semantic Extensibility. ACM Transactions on Programming Languages and Systems, 44(2), 2022. [doi]
Abstract is missing.