@misc{indiciaed5f66ded7bab,
  title = {Intel PMDK Transactions: Specification, Validation and Concurrency (Extended Version)},
  author = {Azalea Raad and Ori Lahav and John Wickerson and Piotr Balcer and Brijesh Dongol},
  year = {2023},
  url = {https://arxiv.org/abs/2312.13828},
  note = {Source identifier: 2312.13828}
}