Artifact Report: Intel PMDK Transactions: Specification, Validation and Concurrency
Abstract
Abstract This report extends §6 of the main paper by providing further details of the mechanisation effort.
Related papers
- Intel PMDK Transactions: Specification, Validation and Concurrency ESOP 2024
- Software partitioning of hardware transactions PPoPP 2015
- Report from the Artifact Evaluation Committee CGO 2021
- Improving the Accuracy of Data Race Detection PPoPP 1991
- Formal Verification of WTO-based Dataflow Solvers - Artifact Experience Report ESOP 2025
- Exploring garbage collection with haswell hardware transactional memory ISMM 2014
- Alone together: compositional reasoning and inference for weak isolation POPL 2018
- Artifact Report: an Abstract, Certified Account of Operational Game Semantics ESOP 2025