Detecting Thread-Safety Violations in Hybrid OpenMP/MPI Programs. - Hongyi Ma; Liqiang Wang; Krishanthan Krishnamoorthy (CLUSTER, 2015)

Static Analysis and Symbolic Execution for Deadlock Detection in MPI Programs. - Craig C. Douglas; Krishanthan Krishnamoorthy (ICCS (2), 2018)