MPI is widely used as the bedrock of HPC applications, but there are no effective systematic
software testing techniques for MPI programs. In this paper we develop COMPI, the first …

Software testing is widely used in industry, but its application in the High Performance
Computing area has been scarce. Concolic testing, that automates testing via generation of …

Powerful high performance computing systems of the future are expected to have higher
failure rates than current systems. As a result, HPC applications running on such future …

C++ advocates exceptions as the preferred way to handle unexpected behaviour of an
implementation in the code. This does not integrate well with the error handling of MPI …

Recently, MPI has become widely used in many scientific applications, including different
non-computer science fields, for parallelizing their applications. An MPI programming model …

Unit testing is an established practice in professional software development. However, in
high-performance computing (HPC) with its scientific applications, it is not widely applied …

Software performance testing is an essential quality assurance mechanism that can identify
optimization opportunities. Automating this process requires strong tool support, especially …

With a large variety and complexity of existing HPC machines and uncertainty regarding
exact future Exascale hardware, it is not clear whether existing parallel scientific codes will …

While previous work has shown MPI to provide capabilities for system software, actual
adoption has not widely occurred. We discuss process management shortcomings in MPI …

Message Passing Interface (MPI) is a well-known standard for programming distributed and
HPC systems. While the community has been continuously improving MPI to address the …