Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs

Publication
Proceedings of 19th International Symposium on Formal Methods, Singapore, May 12-16, 2014.
Subodh Sharma
Subodh Sharma
Assistant Professor and Pankaj Gupta Chair Professor in Privacy and Decentralisation

Related