Static Analysis and Symbolic Execution for Deadlock Detection in MPI Programs.

Craig C. Douglas, Krishanthan Krishnamoorthy

Browse the full ICCS paper archive.