Intel PMDK Transactions: Specification, Validation and Concurrency (Extended Version). - Azalea Raad; Ori Lahav 001; John Wickerson; Piotr Balcer; Brijesh Dongol (CoRR, 2023)

Intel PMDK Transactions: Specification, Validation and Concurrency. - Azalea Raad; Ori Lahav 001; John Wickerson; Piotr Balcer; Brijesh Dongol (ESOP (2), 2024)

Artifact Report: Intel PMDK Transactions: Specification, Validation and Concurrency. - Azalea Raad; Ori Lahav 001; John Wickerson; Piotr Balcer; Brijesh Dongol (ESOP (2), 2024)