Vafeiadis, Viktor Group V. Vafeiadis, Max Planck Institute for Software Systems, Max Planck Society;
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: 69. doi:10.1145/3290382.