Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings

Sarvani S. Vakkalanka, Ganesh Gopalakrishnan, Robert M. Kirby. Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings. In Aarti Gupta, Sharad Malik, editors, Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings. Volume 5123 of Lecture Notes in Computer Science, pages 66-79, Springer, 2008. [doi]

Abstract

Abstract is missing.