TY  - RPRT
TI  - Lost in Interpretation: Navigating Challenges in Validating Persistency Models Amid Vague Specs and Stubborn Machines, All with a Sense of Humour
AU  - Vasileios Klimis
AU  - Alastair F. Donaldson
AU  - Viktor Vafeiadis
AU  - John Wickerson
AU  - Azalea Raad
PY  - 2024
UR  - https://arxiv.org/abs/2405.18575
ID  - 2405.18575
ER  -