Andreas Knüpfer, Tobias Hilbrich, Joachim Protze, and Joseph Schuchart. Dynamic Analysis to Support Program Development with the Textually Aligned Property for OpenSHMEM Collectives. (9397):105-118, August 2015. [PUMA: imported myown correctness PGAS] URL