Show simple item record

Armada: Automated Verification of Concurrent Code with Sound Semantic Extensibility

dc.contributor.authorLorch, Jacob
dc.contributor.authorChen, Yixuan
dc.contributor.authorKapritsos, Manos
dc.contributor.authorMa, Haojun
dc.contributor.authorParno, Bryan
dc.contributor.authorQadeer, Shaz
dc.contributor.authorSharma, Upamanyu
dc.contributor.authorWilcox, James
dc.contributor.authorZhao, Xueyuan
dc.date.accessioned2022-11-15T19:08:51Z
dc.date.available2022-11-15T19:08:51Z
dc.date.issued2022-05-27
dc.identifier.issn0164-0925
dc.identifier.urihttps://hdl.handle.net/1721.1/146479
dc.publisherACMen_US
dc.relation.isversionofhttp://dx.doi.org/10.1145/3502491en_US
dc.rightsArticle 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.en_US
dc.sourceACMen_US
dc.titleArmada: Automated Verification of Concurrent Code with Sound Semantic Extensibilityen_US
dc.typeArticleen_US
dc.identifier.citationLorch, 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.
dc.contributor.departmentMassachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
dc.relation.journalACM Transactions on Programming Languages & Systemsen_US
dc.identifier.mitlicensePUBLISHER_POLICY
dc.eprint.versionFinal published versionen_US
dc.type.urihttp://purl.org/eprint/type/JournalArticleen_US
eprint.statushttp://purl.org/eprint/status/PeerRevieweden_US
dc.date.updated2022-11-03T12:36:47Z
dc.language.rfc3066en
dc.rights.holderThe author(s)
dspace.date.submission2022-11-03T12:36:48Z
mit.licensePUBLISHER_POLICY
mit.metadata.statusAuthority Work and Publication Information Neededen_US


Files in this item

Thumbnail
Name:
3502491.pdf
Size:
5.208Mb
Format:
PDF
View/Open

This item appears in the following Collection(s)

Show simple item record