Intel PMDK Transactions: Specification, Validation and Concurrency.

Azalea Raad, Ori Lahav, John Wickerson, Piotr Balcer, Brijesh Dongol

Browse the full ESOP paper archive.