Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs

Vojtech Forejt, Daniel Kroening, Ganesh Narayanaswamy, Subodh Sharma
May, 2014
PDF Cite
Type
Conference paper
Publication
Proceedings of 19th International Symposium on Formal Methods, Singapore, May 12-16, 2014.
testing symbolic analysis runtime verification MPI
Subodh Sharma
Subodh Sharma
Associate Professor and Pankaj Gupta Chair Professor in Privacy and Decentralisation