With the widespread deployment of multi-core hardware, writing concurrent programs has
become inescapable. This has made fixing concurrency bugs (or crugs) critical in modern …

Fixing concurrency bugs (or" crugs") is critical in modern software systems. Static analyses
to find crugs such as data races and atomicity violations scale poorly, while dynamic …

Concurrency bugs hidden in deployed software can cause severe failures and real-world
disasters. They are notoriously difficult to detect during in-house testing due to huge and non …

Multicore hardware is making concurrent programs pervasive. Unfortunately, concurrent
programs are prone to bugs. Among different types of concurrency bugs, atomicity violation …

Multicore technology is making concurrent programs increasingly pervasive. Unfortunately, it
is difficult to deliver reliable concurrent programs, because of the huge and nondeterministic …

We present D4, a fast concurrency analysis framework that detects concurrency bugs (eg,
data races and deadlocks) interactively in the programming phase. As developers add …

Recently, there has been much interest in developing analyzes to detect concurrency bugs
that arise because of data races, atomicity violations, execution omission, etc. However …

Concurrency bugs are caused by non-deterministic interleavings between shared memory
accesses. Their effects propagate through data and control dependences until they cause …

We propose a general framework for static analysis of concurrent multi-threaded programs
in the presence of various types of synchronization primitives such as locks and pairwise …

Modern applications include many sources of nondeterminism, eg due to concurrency,
signals, and system calls that interact with the external environment. Finding and …