Deadlocks still severely inflict reliability and security issues upon software systems of the
modern age. Worse still, as we note, in prior static deadlock detectors, good precision does …

We present MagicFuzzer, a novel dynamic deadlock detection technique. Unlike existing
techniques to locate potential deadlock cycles from an execution, it iteratively prunes lock …

Go, a fast growing programming language, is often considered as “the programming
language of the cloud”. The language provides a rich set of synchronization primitives …

Concurrent, object-oriented programs often use thread-safe library classes. Existing
techniques for testing a thread-safe class either rely on tests using the class, on formal …

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

We present a new technique to find real deadlocks in concurrent programs that use locks.
For 4.5 million lines of Java, our technique found almost twice as many real deadlocks as …

As writing concurrent programs is challenging, developers often rely on thread-safe classes,
which encapsulate most synchronization issues. Testing such classes is crucial to ensure …

Writing efficient synchronization for multithreaded programs is notoriously hard. The
resulting code often contains subtle concurrency bugs. Even worse, many bug fixes …

Predictive analysis is a powerful technique that exposes concurrency bugs in un-exercised
program executions. However, current predictive analysis approaches lack the …

Many predictive deadlock detection techniques analyze multithreaded programs to suggest
potential deadlocks (referred to as cycles or deadlock warnings). Nonetheless, many of such …