@article{aamer-2026-code, title={Code-Specify-Test-Debug-Prove: Flexibly Integrating Separation Logic Specification into Conventional Workflows}, volume={10}, ISSN={2475-1421}, url={http://dx.doi.org/10.1145/3808278}, DOI={10.1145/3808278}, number={PLDI}, journal={Proceedings of the ACM on Programming Languages}, publisher={Association for Computing Machinery (ACM)}, author={Aamer, Zain K and Banerjee, Rini and Katsura, Hiroyuki and Kaloper-Meršinjak, David and Economou, Dimitrios J. and Memarian, Kayvan and Makwana, Dhruv and Krishnaswami, Neel and Pierce, Benjamin C. and Pulte, Christopher and Sewell, Peter}, year={2026}, month=June, pages={778–804} }