Detecting MPI usage anomalies via partial program symbolic execution.

Fangke Ye, Jisheng Zhao, Vivek Sarkar

Browse the full SC paper archive.