Understanding multithreaded software systems is typically a tedious task: Due to parallel
execution and interactions between multiple threads, such a system's runtime behavior is …

In software comprehension, program traces are important to gain insight into certain aspects
of concurrent runtime behavior, eg, thread-interplay. Here, key tasks are finding usages of …

Modern computer systems are prone to various classes of runtime faults due to their reliance
on features such as concurrency and peripheral devices such as sensors. Testing remains a …

Concurrent programs are difficult to debug because concurrency faults usually occur under
specific inputs and thread interleavings. Fault localization techniques for sequential …

The competency of pointer analysis is crucial for many compiler optimizations,
transformations, and checks like memory safety. The potential interaction between threads in …

This paper presents a new approach for optimizing multitheaded programs with pointer
constructs. The approach has applications in the area of certified code (proof-carrying code) …

The use of pointers and data-structures based on pointers results in circular memory
references that are interpreted by a vital compiler analysis, namely pointer analysis. For a …

Today, almost every modern computing device is equipped with multicore processors
capable of efficient concurrent and parallel execution of threads. This processor feature can …

We consider the problem of understanding locking behavior in large Java programs using a
combination of data collection, data analysis, and visualization. Our technique starts by …

Concurrency faults are difficult to reproduce and localize because they usually occur under
specific inputs and thread interleavings. Most existing fault localization techniques focus on …