Person. Simon Friis Vindum Aarhus University · 0000-0002-4617-4976 Papers The Nextgen Modality: A Modality for Non-Frame-Preserving Updates in Separation Logic vindum-2025-theCPP · 2025 PDF · DOI · pldb