Modeling and analysis of remote memory access programming.

Andrei Marian Dan, Patrick Lam, Torsten Hoefler, Martin T. Vechev

Browse the full OOPSLA paper archive.