@article{lorch-2022-armada, title={Armada: Automated Verification of Concurrent Code with Sound Semantic Extensibility}, volume={44}, ISSN={1558-4593}, url={http://dx.doi.org/10.1145/3502491}, DOI={10.1145/3502491}, number={2}, journal={ACM Transactions on Programming Languages and Systems}, publisher={Association for Computing Machinery (ACM)}, author={Lorch, Jacob R. and Chen, Yixuan and Kapritsos, Manos and Ma, Haojun and Parno, Bryan and Qadeer, Shaz and Sharma, Upamanyu and Wilcox, James R. and Zhao, Xueyuan}, year={2022}, month=May, pages={1–39} }