Title :
Runtime verification methods for MPI
Author :
Gopalakrishnan, Ganesh L. ; Kirby, Robert M.
Author_Institution :
Sch. of Comput., Univ. of Utah, Salt Lake City, UT
Abstract :
The Gauss group at the University of Utah has researched and developed runtime verification tools for MPI programs. Our tool, in-situ partial order (ISP), is being applied to several MPI benchmarks. At the same time, we are embarked on research that ensures the completeness of ISP. Our work on specifying the formal semantics of MPI has also encompassed MPI 2.0. These developments and our plans for our final (fourth) year are elaborated in this paper.
Keywords :
Gaussian processes; application program interfaces; program verification; Gauss group; MPI programs; formal semantics; in-situ partial order; runtime verification tools; Cities and towns; Formal verification; Gaussian processes; Interleaved codes; Libraries; Parallel algorithms; Protocols; Runtime; State-space methods; Testing;
Conference_Titel :
Parallel and Distributed Processing, 2008. IPDPS 2008. IEEE International Symposium on
Conference_Location :
Miami, FL
Print_ISBN :
978-1-4244-1693-6
Electronic_ISBN :
1530-2075
DOI :
10.1109/IPDPS.2008.4536437
