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 programs are normally composed of multiple concurrent threads sharing
memory space. These threads are often interleaved, which may lead to some non …

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 …

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 …

Trace theory (formulated by Mazurkiewicz in 1987) is a principled framework for defining
equivalence relations for concurrent program runs based on a commutativity relation over …

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

Deadlocks are notorious bugs in multithreaded programs, causing serious reliability issues.
However, they are difficult to be fully expunged before deployment, as their appearances …

Designing and implementing thread-safe multithreaded libraries can be a daunting task as
developers of these libraries need to ensure that their implementations are free from …

Developing concurrent software that is both correct and efficient is challenging. Past
research has proposed various techniques that support developers in finding …