DrAzaleaRaad

Faculty of Engineering, Department of Computing

Senior Lecturer

Contact

+44 (0)20 7594 8271azalea.raad Website

Location

426Huxley BuildingSouth Kensington Campus

Summary

Publications

Citation

BibTex format

@article{Raad:2019:10.1145/3360561,
author = {Raad, A and Wickerson, J and Vafeiadis, V},
doi = {10.1145/3360561},
journal = {Proceedings of the ACM on Programming Languages},
title = {Weak persistency semantics from the ground up: formalising the persistency semantics of ARMv8 and transactional models},
url = {http://dx.doi.org/10.1145/3360561},
year = {2019}
}

Download

RIS format (EndNote, RefMan)

TY  - JOUR
AU  - Raad,A
AU  - Wickerson,J
AU  - Vafeiadis,V
DO  - 10.1145/3360561
PY  - 2019///
SN  - 2475-1421
TI  - Weak persistency semantics from the ground up: formalising the persistency semantics of ARMv8 and transactional models
T2  - Proceedings of the ACM on Programming Languages
UR  - http://dx.doi.org/10.1145/3360561
ER  -

Download