@article{sanchezstern-2023-passport, title={Passport: Improving Automated Formal Verification Using Identifiers}, volume={45}, ISSN={1558-4593}, url={http://dx.doi.org/10.1145/3593374}, DOI={10.1145/3593374}, number={2}, journal={ACM Transactions on Programming Languages and Systems}, publisher={Association for Computing Machinery (ACM)}, author={Sanchez-Stern, Alex and First, Emily and Zhou, Timothy and Kaufman, Zhanna and Brun, Yuriy and Ringer, Talia}, year={2023}, month=June, pages={1–30} }