The Dynamic Analyzer for MPI: the first dynamic analyzer of MPI

Software · Thu Oct 31 00:00:00 EDT 2013

DOI:https://doi.org/10.11578/dc.20220718.65· OSTI ID:1231750 · Code ID:76533

Vo, A.; Ananthakrishnan, S.; Gopalakrishnan, G.; Kirby, R. M.; de Supinski, B. R.; Schulz, M.; Bronevetsky, G.; Ahn, D. H.

DAMPI is a dynamic testing/verification tool that scalably covers non-deterministic interactions of MPI (e.g., sildcard-receives).

• Short Name / Acronym: DAMPI
• Project Type: Open Source, Publicly Available Repository
• Site Accession Number: 5132; LLNL-CODE-647203
• Software Type: Scientific
• License(s): GNU Lesser General Public License v2.1
• Research Organization: Lawrence Livermore National Laboratory (LLNL), Livermore, CA (United States)
• Sponsoring Organization: USDOE

  ---

  Primary Award/Contract Number:

  AC52-07NA27344
• DOE Contract Number: AC52-07NA27344
• Code ID: 76533
• OSTI ID: 1231750
• Country of Origin: United States