skip to main content

SciTech ConnectSciTech Connect

Title: Automata-based Debugging for Dissimilar Parallel Tasks

AutomaDeD is a tool that automatically diagnoses performance and correctness faults in MPI applications. It creates time and control-flow models of processes in an MPI program, and when a failure occus, these models are analyzed probabilistically to find the origin of the failure. The output of the tool is MPI processes ranked by the abnormality degree and regions of code where faults are first manifested. The granularity of code region is an MPI call or a computation region between two MPI calls.
Publication Date:
OSTI Identifier:
Report Number(s):
DOE Contract Number:
Software Revision:
Software Package Number:
Software Package Contents:
Open Source Software package available from Lawrence Livermore National Laboratory at the following URL:
Software CPU:
Open Source:
Source Code Available:
Research Org:
Lawrence Berkeley National Laboratory
Sponsoring Org:
United States Department of Energy
Contributing Orgs:
I. Laguna, D. H. Ahn, T. Gamblin, B. R. de Supinski, G. Bronevetsky, S. Bagchi
Country of Publication:
United States

To initiate an order for this software, request consultation services, or receive further information, fill out the request form below. You may also reach us by email at: .

ESTSC staff will begin to process an order for scientific and technical software once the payment and signed site license agreement are received. If the forms are not in order, ESTSC will contact you. No further action will be taken until all required information and/or payment is received. Orders are processed within three to five business days.

Software Request