@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}, }