Context: The performance assessment of complex software systems is not a trivial task since
it depends on the design, code, and execution environment. All these factors may affect the …

Concurrency bugs of a multi-threaded program may only manifest with certain scheduling,
ie, they are heisenbugs which are observed only from time to time if we execute the same …

Abstract The Generic Reusable Parallel Pattern Interface (GrPPI) is a very useful abstraction
over different parallel pattern libraries, allowing the programmer to write generic patterned …

The fundamental asynchronous thread (java. lang. Thread) in Java can be easily misused,
due to the lack of deep understanding for garbage collection and thread interruption …

Concurrency bugs are notoriously hard to identify and fix. A systematic way of avoiding
concurrency bugs is to design and implement a locking policy that consistently guards all …

In such an information society, the Internet of Things (IoT) plays an increasingly important
role in our daily lives. With such a huge number of deployed IoT devices, Cyber-Physical …

Detecting data races in multithreaded programs is critical to ensure the correctness of the
programs. To discover data races precisely without false alarms, dynamic detection …

Among the various types of concurrency bugs, the data race is one of the primary causes of
other concurrency bugs. Thus, it is important to detect as many data races as possible during …

Thread Sharing Analysis (TSA) plays an important role in concurrent program testing.
Providing a TSA to a data race detector may speed up the runtime logging and improve the …

The happens-before (HB) relation is widely used to precisely detect data races, which are
among the major causes of concurrency bugs. However, the HB relation is sensitive to …