@misc{indiciae0cfbcb47494c,
  title = {Leveraging access mode declarations in a model for memory consistency in heterogeneous systems},
  author = {Ludovic Henrio and Christoph Kessler and Lu Li},
  year = {2019},
  doi = {10.1016/j.jlamp.2019.100498},
  url = {https://arxiv.org/abs/1910.11110},
  note = {Source identifier: 1910.11110}
}