Tobias Hilbrich Bronis R. de Supinski Martin Schulz Matthias S. Müller A graph based approach for MPI deadlock detection. 296-305 2009 ICS http://doi.acm.org/10.1145/1542275.1542319 conf/ics/2009 db/conf/ics/ics2009.html#HilbrichSSM09