Weak persistency semantics from the ground up: formalising the persistency semantics of ARMv8 and transactional models

Azalea Raad, John Wickerson, Viktor Vafeiadis. Weak persistency semantics from the ground up: formalising the persistency semantics of ARMv8 and transactional models. Proceedings of the ACM on Programming Languages, 3(OOPSLA), 2019. [doi]

Abstract

Abstract is missing.