@inproceedings{rdma-memory-model,
  author={Andrei Marian Dan and Patrick Lam and Torsten Hoefler and Martin Vechev},
  title={{Modeling and Analysis of Remote Memory Access Programming}},
  year={2016},
  month={Nov.},
  pages={129--144},
  volume={},
  number={},
  booktitle={Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications},
  location={Amsterdam, Netherlands},
  publisher={ACM},
  issn={},
  isbn={978-1-4503-4444-9},
}