A significant body of parallel programs are written using MPI [1]. Bugs in MPI programs arise
due to many reasons, for example:(i) during manual optimizations that turn blocking …

We present a method to verify the correctness of parallel programs that perform complex
numerical computations, including computations involving floating-point arithmetic. This …

Message Passing Interface (MPI) is a widely used standard for managing coarse-grained
concurrency on distributed computers. Debugging parallel MPI applications, however, has …

Message passing is a very popular style of parallel programming, used in a wide variety of
applications and supported by many APIs, such as BSD sockets, MPI and PVM. Its …

The Message Passing Interface (MPI) is the de-facto standard for distributed memory
computing in high-performance computing (HPC). To aid developers write correct MPI …

Abstract The Message Passing Interface (MPI) is the standard API for high-performance and
scientific computing. Communication deadlocks are a frequent problem in MPI programs …

Message passing is the standard paradigm of programming in high-performance computing.
However, verifying Message Passing Interface (MPI) programs is challenging, due to the …

We present a method to verify the correctness of parallel programs that perform complex
numerical computations, including computations involving floating-point arithmetic. The …

Abstract The Toolkit for Accurate Scientific Software (TASS) is a suite of integrated tools for
the formal verification of programs used in computational science, including numerically …

The Message Passing Interface (MPI) is the standard API for parallelization in high-
performance and scientific computing. Communication deadlocks are a frequent problem in …