OpenSHMEM Checker - A Clang Based Static Checker for OpenSHMEM.

Md Abdullah Shahneous Bari, Ujjwal Arora, Varun Hegde, Tony Curtis, Barbara M. Chapman

Browse the full ISPDC paper archive.