Tutorial: Specifying, Implementing, and Verifying Algorithms for Persistent Memory.

Diego Cepeda, Sakib Chowdhury, Wojciech M. Golab

Browse the full PODC paper archive.