Data deduplication is an effective way of improving storage space utilization. The data
generated by deduplication is persistently stored in data chunks or data containers (a …

Testing distributed systems is challenging due to multiple sources of nondeterminism.
Conventional testing techniques, such as unit, integration and stress testing, are ineffective …

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

Maintaining leadership in HPC requires the ability to support simulations at large scales and
fidelity. In this study, we detail one of the most significant productivity challenges in …

DNA typing or profiling is being widely used for criminal identification, paternity tests, and
diagnosis of genetic diseases. DNA typing is considered one of the hardest problems in the …

The Software Defect Prediction (SDP) method forecasts the occurrence of defects at the
beginning of the software development process. Early fault detection will decrease the …

We present ScaleCheck, an approach for discovering scalability bugs (a new class of bug in
large storage systems) and for democratizing large-scale testing. ScaleCheck employs a …

Scaling a parallel program to modern supercomputers is challenging due to inter-process
communication, Amdahl's law, and resource contention. Performance analysis tools for …

Message Passing Interface (MPI) has become the standard programming paradigm in high
performance computing. It is challenging to verify MPI programs because of high parallelism …

We highlight the problem of scalability bugs, a new class of bugs that appear in" cloud-
scale" distributed systems. Scalability bugs are latent bugs that are cluster-scale dependent …