@article{grannan-2025-place, title={Place Capability Graphs: A General-Purpose Model of Rust’s Ownership and Borrowing Guarantees}, volume={9}, ISSN={2475-1421}, url={http://dx.doi.org/10.1145/3763122}, DOI={10.1145/3763122}, number={OOPSLA2}, journal={Proceedings of the ACM on Programming Languages}, publisher={Association for Computing Machinery (ACM)}, author={Grannan, Zachary and Bílý, Aurel and Fiala, Jonáš and Geer, Jasper and de Medeiros, Markus and Müller, Peter and Summers, Alexander J.}, year={2025}, month=Oct, pages={2002–2029} }