Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs

Publication
In ACM Transactions on Programming Languages and Systems