Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs.

Vojtech Forejt, Daniel Kroening, Ganesh Narayanaswamy, Subodh Sharma

Browse the full FM paper archive.