Podkopaev, A., Lahav, O., & Vafeiadis, V. (2019). Bridging the Gap Between Programming Languages and Hardware Weak Memory Models. Proceedings of the ACM on Programming Languages, 3, POPL:. doi:10.1145/3290382.