@inproceedings{lorch-2020-armada, series={PLDI ’20}, title={Armada: low-effort verification of high-performance concurrent programs}, url={http://dx.doi.org/10.1145/3385412.3385971}, DOI={10.1145/3385412.3385971}, booktitle={Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation}, publisher={ACM}, author={Lorch, Jacob R. and Chen, Yixuan and Kapritsos, Manos and Parno, Bryan and Qadeer, Shaz and Sharma, Upamanyu and Wilcox, James R. and Zhao, Xueyuan}, year={2020}, month=June, pages={197–210}, collection={PLDI ’20} }