Performance bugs are a prevalent problem and recent research proposes various
techniques to identify such bugs. This paper addresses a kind of performance problem that …

While current bug detection techniques for concurrent software focus on unearthing low-
level issues such as data races or deadlocks, they often fall short of discovering more …

Many modern software systems are composed of multiple execution flows that run
simultaneously, spanning from applications designed to exploit the power of modern multi …

Multi-threaded programs are challenging to write. Developers often need to reason about a
prohibitively large number of thread interleavings to reason about the behavior of software …

Researchers have proposed various approaches to detect concurrency bugs and improve
multi-threaded programs, but performing evaluations of the effectiveness of these …

Parallel programming is essential for reaping the benefits of parallel hardware, but it is
notoriously difficult to develop and debug reliable, scalable software systems. One key …

Using thread-safe libraries can help programmers avoid the complexities of multithreading.
However, designing libraries that guarantee thread-safety can be challenging. Detecting …

Dynamic techniques are a scalable and effective way to analyze concurrent programs.
Instead of analyzing all behaviors of a program, these techniques detect errors by focusing …

To detect data races that harm production systems, program analysis must target production
runs. However, sound and precise data race detection adds too much run-time overhead for …

We present two scalable algorithms for identifying program locations that access thread-
shared data in concurrent programs. The static algorithm, though simple, and without …