BibTex format
@article{Raad:2020:10.1145/3371079,
author = {Raad, A and Wickerson, J and Neiger, G and Vafeiadis, V},
doi = {10.1145/3371079},
journal = {Proceedings of the ACM on Programming Languages (POPL2020)},
pages = {11:1--11:31},
title = {Persistency semantics of the Intel-x86 architecture},
url = {http://dx.doi.org/10.1145/3371079},
volume = {4},
year = {2020}
}