• DocumentCode
    1688017
  • 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
  • fYear
    2008
  • Firstpage
    1
  • Lastpage
    5
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Parallel and Distributed Processing, 2008. IPDPS 2008. IEEE International Symposium on
  • Conference_Location
    Miami, FL
  • ISSN
    1530-2075
  • Print_ISBN
    978-1-4244-1693-6
  • Electronic_ISBN
    1530-2075
  • Type

    conf

  • DOI
    10.1109/IPDPS.2008.4536437
  • Filename
    4536437
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1688017