Modeling and analysis of remote memory access programming
OOPSLA, pp. 129-144, 2016.
We introduced the first core calculus, coreRMA, and its axiomatic semantics, to cleanly capture characteristics of Remote Memory Access programming
Recent advances in networking hardware have led to a new generation of Remote Memory Access (RMA) networks in which processors from different machines can communicate directly, bypassing the operating system and allowing higher performance. Researchers and practitioners have proposed libraries and programming models for RMA to enable the ...More
PPT (Upload PPT)
Best Paper of OOPSLA, 2016