High-Performance Computing (HPC) is currently facing significant challenges. The
hardware pressure has become increasingly difficult to manage due to the lack of parallel …

MPI has become the dominant programming paradigm in high performance computing
partly due to its portability: an MPI application can run on a wide range of architectures …

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

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 …

Much of MPI's success can be attributed to its ability to support programs written in the
programming languages that have been the mainstay of high-performance computing for …

Complex code bases require continual testing to ensure that both new development and
routine maintenance do not create unintended side effects. Automation of regression testing …

While many parallel programming models exist, the dominant model is MPI. It has been
considered as the de facto standard for building parallel programs that use message …

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 …

Parallel programs will increasingly be written using complex APIs such as MPI-2.0 [1],
OpenMP [2], PThreads, etc. It is well documented that even experienced programmers …

Understanding the state-of-the-practice in MPI usage is paramount for many aspects of
supercomputing, including optimizing the communication of HPC applications and informing …