PAPER
Corundum: Statically-Enforced Persistent Memory Safety, ASPLOS '21
ABSTRACT Fast, byte-addressable, persistent main memories (PM) make it possible to build complex data structures that can survive system failures. Programming for PM is challenging, not least because it combines well-known programming challenges like locking, mem- ory management, and pointer safety with novel PM-specific bug types. It also requires logging updates to PM to facilitate recovery af..