Concurrency in multithreaded programs introduces additional complexity in software
verification and testing, and thereby significantly increases the cost of Quality Assurance …

Lots of concurrent software is being developed for the now ubiquitous multicore processors.
And concurrent programming is difficult because it is quite easy to introduce errors that are …

Mainstream programming is migrating to concurrent architectures to improve performance
and facilitate more complex computation. The state of the art analysis tools for detecting …

This work addresses the issue of selecting the formal correctness criterion for a concurrent
Java program that best corresponds to the developer's intent. We study a set of concurrency …

Testing concurrent programs that accept data inputs is notoriously hard because, besides
the large number of possible data inputs, nondeterminism results in an exponentially large …

Ensuring the correctness of multithreaded programs is difficult, due to the potential for
unexpected interactions between concurrent threads. Much previous work has focused on …

The design of concurrent programs is error-prone due to the interaction between
concurrently executing threads. Traditional automated techniques for finding errors in …

Concurrent programs often exhibit bugs due to unintended interferences among the
concurrent threads. Such bugs are often hard to reproduce because they typically happen …

Data races do not cover all kinds of concurrency errors. This paper presents a data-flow-
based technique to find stale-value errors, which are not found by low-level and high-level …

Mainstream programming is migrating to concurrent architectures to improve performance
and facilitate more complex computation. The state of the art static analysis tools for …