Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs

We provide additional material for our paper.