Bug benchmarks are used in development and evaluation of debugging approaches, eg
fault localization and automated repair. Quantitative performance comparison of different …

In recent years, language models (LMs), such as GPT-4, have been widely used in multiple
domains, including natural language processing, visualization, and so on. However …

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 …

Happens before-based dynamic analysis is the go-to technique for detecting data races in
large scale software projects due to the absence of false positive reports. However, such …

Large language models (LLMs) are demonstrating significant promise as an alternate
strategy to facilitate analyses and optimizations of high-performance computing programs …

Machine learning (ML) techniques have been widely studied to address various challenges
of productively and efficiently running large-scale scientific applications on heterogeneous …

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 …

Growing heterogeneity and configurability in HPC architectures has made auto-tuning
applications and runtime parameters on these systems very complex. Users are presented …

The detection and elimination of data races in largescale OpenMP programs is of critical
importance. Unfortunately, today's state-of-the-art OpenMP race checkers suffer from high …