Bridging the gap between programming languages and hardware weak memory models

Anton Podkopaev, Ori Lahav, Viktor Vafeiadis. Bridging the gap between programming languages and hardware weak memory models. Proceedings of the ACM on Programming Languages, 3, 2019. [doi]

Abstract

Abstract is missing.