Two concurrent accesses to a shared variable that are unordered by synchronization are
said to be a data race if at least one access is a write. Data races cause shared memory …

In the era of Exascale computing, writing efficient parallel programs is indispensable, and, at
the same time, writing sound parallel programs is very difficult. Specifying parallelism with …

Communications are a critical part of HPC simulations, and one of the main focuses of
application developers when scaling on supercomputers. While classical message passing …

We present OMPRACER, a static tool that uses flow-sensitive, interprocedural analysis to
detect data races in OpenMP programs. OMPRACER is fast, scalable, has high code …

The Exascale Computing Project (ECP) Software Technology (ST) Focus Area is
responsible for developing critical software capabilities that will enable successful execution …

Data races are egregious concurrency bugs that are especially problematic in performance-
oriented GPU codes where large thread counts and multiple shared memory regions tend to …

DataRaceBench is a dedicated benchmark suite to evaluate tools aimed to find data race
bugs in OpenMP programs. Since its initial release in 2017, DataRaceBench has been …

The OpenMP programming model is playing an increasing role in parallelization on shared-
memory systems owing to its simplicity of operation and portability. OpenMP provides the …

Data races are a particularly nefarious type of bugs that can affect the correctness of parallel
software. Data races are inherently non-deterministic, making them extremely challenging to …

The recent surge in high-performance computing (HPC) demands, particularly with the
advent of Exascale supercomputers, has highlighted the need for robust parallel systems …