Armada: Automated Verification of Concurrent Code with Sound Semantic Extensibility

Author(s)
Lorch, Jacob; Chen, Yixuan; Kapritsos, Manos; Ma, Haojun; Parno, Bryan; ... Show more
Thumbnail
Download3502491.pdf (5.208Mb)
Publisher Policy
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.
Metadata
Show full item record
Date issued
2022-05-27
URI
https://hdl.handle.net/1721.1/146479
Department
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
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
ISSN
0164-0925
Collections