@inproceedings{vindum-2025-the, series={CPP ’25}, title={The Nextgen Modality: A Modality for Non-Frame-Preserving Updates in Separation Logic}, url={http://dx.doi.org/10.1145/3703595.3705876}, DOI={10.1145/3703595.3705876}, booktitle={Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs}, publisher={ACM}, author={Vindum, Simon Friis and Georges, Aïna Linn and Birkedal, Lars}, year={2025}, month=Jan, pages={83–97}, collection={CPP ’25} }