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

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

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

Previous work has shown how to insert fences that enforce sequential consistency.
However, for many concurrent algorithms, sequential consistency is unnecessarily strong …

The testing of concurrent programs is very complex due to the non-determinism present in
those programs. They must be subjected to a systematic testing process that assists in the …

Deterministic multithreaded systems (DMTs) are designed to ensure reproducibility of
program behavior for a given input. In these systems, even minor changes to the code (or …

With the development of multi-core processors, concurrent programs are becoming more
and more popular. Among several models, the multithreaded shared-memory model is the …