@inproceedings{lattuada-2024-verus, series={SOSP ’24}, title={Verus: A Practical Foundation for Systems Verification}, url={http://dx.doi.org/10.1145/3694715.3695952}, DOI={10.1145/3694715.3695952}, booktitle={Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles}, publisher={ACM}, author={Lattuada, Andrea and Hance, Travis and Bosamiya, Jay and Brun, Matthias and Cho, Chanhee and LeBlanc, Hayley and Srinivasan, Pranav and Achermann, Reto and Chajed, Tej and Hawblitzel, Chris and Howell, Jon and Lorch, Jacob R. and Padon, Oded and Parno, Bryan}, year={2024}, month=Nov, pages={438–454}, collection={SOSP ’24} }