High-Level Persistency Models and Persistent Verification

Azalea Raad, Viktor Vafeiadis

Appearing at Beyond Weak Memory Consistency: The Challenges of Memory Persistency