Data-race freedom is a valuable safety property for multithreaded programs that helps with
catching bugs, simplifying memory consistency model semantics, and verifying and …

Data races are a major contributor to parallel software unreliability. A type of race that is both
common and typically harmful is the Asymmetric data race. It occurs when at least one of the …

In the multi-core era, it is critical to effectively test multithreaded software and expose
concurrency bugs before software release. Previous work has made a lot of progress in …

Memory race recording is a key technology to replay multithreaded programming
deterministically. Modern computers supply efficient communication mechanism and …

The complexity of modern software makes it difficult to ship correct programs. Errors can cost
money and lives, so developers often use automated software analysis tools to hunt for …

Benefiting from the recent hardware improvement, multithreaded programs may still
introduce concurrency defects which are notoriously difficult to detect, due to the non …

Multicore machines have become pervasive and, as a result, parallel programming has
received renewed interest. Unfortunately, writing correct parallel programs is notoriously …

This project aimed to significantly enhance the security of future multi-core platforms against
software exploits by exploiting abundant parallel computing resources. In this context, the …