TY  - RPRT
TI  - Bridging the Gap between Programming Languages and Hardware Weak Memory Models
AU  - Anton Podkopaev
AU  - Ori Lahav
AU  - Viktor Vafeiadis
PY  - 2018
DO  - 10.1145/3290382
UR  - https://arxiv.org/abs/1807.07892
ID  - 1807.07892
ER  -