TY  - RPRT
TI  - Leveraging access mode declarations in a model for memory consistency in heterogeneous systems
AU  - Ludovic Henrio
AU  - Christoph Kessler
AU  - Lu Li
PY  - 2019
DO  - 10.1016/j.jlamp.2019.100498
UR  - https://arxiv.org/abs/1910.11110
ID  - 1910.11110
ER  -