Grey-box fuzz testing has revealed thousands of vulnerabilities in real-world software owing
to its lightweight instrumentation, fast coverage feedback, and dynamic adjusting strategies …

In today's agile world, developers often rely on continuous integration pipelines to help build
and validate their changes by executing tests in an efficient manner. One of the significant …

Despite the numerous static and dynamic program analysis techniques in the literature, data
races remain one of the most common bugs in modern concurrent software. Further, the …

Fixing software bugs has always been an important and time-consuming process in software
development. Fixing concurrency bugs has become especially critical in the multicore era …

We present TaxDC, the largest and most comprehensive taxonomy of non-deterministic
concurrency bugs in distributed systems. We study 104 distributed concurrency (DC) bugs …

This paper presents a randomized scheduler for finding concurrency bugs. Like current
stress-testing methods, it repeatedly runs a given test program with supplied inputs …

We investigate a family of bugs in blockchain-based smart contracts, which we dub event-
ordering (or EO) bugs. These bugs are intimately related to the dynamic ordering of contract …

Automatic static detection of data races is one of the most basic problems in reasoning about
concurrency. We present RacerD—a static program analysis for detecting data races in Java …

Data races are an important class of concurrency errors where two threads erroneously
access a shared memory location without appropriate synchronization. This paper presents …

Concurrency bugs are widespread in multithreaded programs. Fixing them is time-
consuming and error-prone. We present CFix, a system that automates the repair of …