Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs

Vojtech Forejt, Saurabh Joshi, Daniel Kroening, Ganesh Narayanaswamy, Subodh Sharma
March 2017
PDF
Type
Journal article
Publication
In ACM Transactions on Programming Languages and Systems

mpi deadlocks symbolic analysis