skip to main content
OSTI.GOV title logo U.S. Department of Energy
Office of Scientific and Technical Information

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

Abstract

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

Developers:
; ; ; ; ; ; ;
Release Date:
Project Type:
Open Source, Publicly Available Repository
Software Type:
Scientific
Licenses:
GNU Lesser General Public License v2.1
Sponsoring Org.:
USDOE

Primary Award/Contract Number:
AC52-07NA27344
Code ID:
76533
Site Accession Number:
5132; LLNL-CODE-647203
Research Org.:
Lawrence Livermore National Laboratory (LLNL), Livermore, CA (United States)
Country of Origin:
United States

Citation Formats

Vo, A., Ananthakrishnan, S., Gopalakrishnan, G., Kirby, R. M., de Supinski, B. R., Schulz, M., Bronevetsky, G., Ahn, D. H., and USDOE. The Dynamic Analyzer for MPI: the first dynamic analyzer of MPI. Computer software. https://www.osti.gov//servlets/purl/1231750. USDOE. 31 Oct. 2013. Web. doi:10.11578/dc.20220718.65.
Vo, A., Ananthakrishnan, S., Gopalakrishnan, G., Kirby, R. M., de Supinski, B. R., Schulz, M., Bronevetsky, G., Ahn, D. H., & USDOE. (2013, October 31). The Dynamic Analyzer for MPI: the first dynamic analyzer of MPI [Computer software]. https://www.osti.gov//servlets/purl/1231750. https://doi.org/10.11578/dc.20220718.65
Vo, A., Ananthakrishnan, S., Gopalakrishnan, G., Kirby, R. M., de Supinski, B. R., Schulz, M., Bronevetsky, G., Ahn, D. H., and USDOE. The Dynamic Analyzer for MPI: the first dynamic analyzer of MPI. Computer software. October 31, 2013. https://www.osti.gov//servlets/purl/1231750. doi:https://doi.org/10.11578/dc.20220718.65.
@misc{osti_1231750,
title = {The Dynamic Analyzer for MPI: the first dynamic analyzer of MPI},
author = {Vo, A. and Ananthakrishnan, S. and Gopalakrishnan, G. and Kirby, R. M. and de Supinski, B. R. and Schulz, M. and Bronevetsky, G. and Ahn, D. H. and USDOE},
abstractNote = {DAMPI is a dynamic testing/verification tool that scalably covers non-deterministic interactions of MPI (e.g., sildcard-receives).},
url = {https://www.osti.gov//servlets/purl/1231750},
doi = {10.11578/dc.20220718.65},
url = {https://www.osti.gov/biblio/1231750}, year = {Thu Oct 31 00:00:00 EDT 2013},
month = {Thu Oct 31 00:00:00 EDT 2013},
note =
}