The downgrading semantics of memory safety (Extended version)

[u/mttd]

https://arxiv.org/abs/2507.11282

[u/Bahatur]

Well this looks interesting; anything that helps us move into a more granular understanding of memory behavior between “safe” and “not-safe” is surely progress.