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 …

This article presents Jdebug, a fast, non-intrusive and scalable fault locating tool for extreme-
scale parallel applications. Large-scale debugging has drawn more attention with the …

Data races in distributed parallel programs, such as those developed with the message
passing interface (MPI), can cause critical correctness and reliability issues. Therefore, it is …

With the growing effort to reduce power consumption in machines, fault tolerance becomes
more of a concern. This holds particularly for large-scale computing, where execution …

MPI programs represent a major type of workloads running on parallel and distributed
systems: tightly coupled high performance computing (HPC) workloads which use MPI to …

Continuous scaling-up of high-performance computing systems has brought challenges to
the debugging and tuning of large-scale parallel programs. Firstly, to locate bugs in a …

It has been observed that scaling problems are highly likely to manifest when MPI
applications are launched at a large scale where the scale is characterized by the degree of …

First I'd like to express my sincere gratitude to my advisor Dr. Xinghui Zhao, for her guidance,
patience, motivation and immense knowledge. Her guidance was instrumental to making my …

MPI is the de-facto standard message-passing based parallel programming model.
However, the bug detection support for MPI applications is lacking. This thesis seeks to …