Intel PMDK Transactions: Specification, Validation and Concurrency (Artifact)
software
posted on 2024-01-12, 07:04 authored by Azalea Raad, Ori Lahav, John Wickerson, Piotr Balcer, Brijesh DongolBrijesh DongolFDR4 files for the paper "Intel PMDK Transactions: Specification, Validation and Concurrency" to appear in ESOP 2024.
Installation and usage directions may be found in the Documentation folder.
