Armada: Automated Verification of Concurrent Code with Sound Semantic Extensibility
Author(s)
Lorch, Jacob
Chen, Yixuan
Kapritsos, Manos
Ma, Haojun
Parno, Bryan
Qadeer, Shaz
Sharma, Upamanyu
Wilcox, James
Zhao, Xueyuan
Date Issued
May 27, 2022
Journal
ACM Transactions on Programming Languages & Systems
Publisher
ACM
Citation
Lorch, Jacob, Chen, Yixuan, Kapritsos, Manos, Ma, Haojun, Parno, Bryan et al. 2022. "Armada: Automated Verification of Concurrent Code with Sound Semantic Extensibility." ACM Transactions on Programming Languages & Systems.
Version
Final published version
MIT Department
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Terms of Use
Article is made available in accordance with the publisher's policy and may be subject to US copyright law. Please refer to the publisher's site for terms of use.
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1145/3502491
