Concurrency bugs are hard to find, reproduce, and debug. They often escape rigorous in-
house testing, but result in large-scale outages in production. Existing concurrency-bug …

The advent of non-volatile main memory (NVM) enables the development of crash-
consistent software without paying storage stack overhead. However, building a correct …

The concurrent programming literature is rich with tools and techniques for data race
detection. Less, however, has been known about real-world, industry-scale deployment …

Developers of thread-safe classes struggle with two opposing goals. The class must be
correct, which requires synchronizing concurrent accesses, and the class should provide …

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

Writing concurrent programs is a challenge because developers must consider both
functional correctness and performance requirements. Numerous program analyses and …

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 …

Non-volatile memory (NVM) has promoted the development of concurrent crash-consistent
data structures, which serve as the backbone of various in-memory persistent applications …

Java projects are often built on top of various third-party libraries. If multiple versions of a
library exist on the classpath, JVM will only load one version and shadow the others, which …

Subtle concurrency errors in multithreaded libraries that arise because of incorrect or
inadequate synchronization are often difficult to pinpoint precisely using only static …