Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs

Vojtech Forejt, Saurabh Joshi, Daniel Kroening, Ganesh Narayanaswamy, Subodh Sharma
March, 2017
PDF Cite
Type
Journal article
Publication
In ACM Transactions on Programming Languages and Systems
MPI Deadlocks Symbolic Analysis
Subodh Sharma
Subodh Sharma
Associate Professor