The main problems associated with debugging concurrent programs are increased
complexity, the" probe effect," nonrepeatability, and the lack of a synchronized global clock …

The field of program analysis has focused primarily on sequential programming languages.
But multithreading is becoming increasingly important, both as a program structuring …

Dynamic program slicing methods are widely used for debugging, because many
statements can be ignored in the process of localizing a bug. A dynamic program slice with …

One of the major disadvantages of parallel programming with shared memory is the
nondeterministic behavior caused by uncoordinated access to shared variables, known as …

A comprehensive overview of data flow frameworks and their characterizing properties is
presented, to clarify property definitions and demonstrate their interrelation. Properties …

Abstract The ParaScope Editor, an intelligent interactive editor for parallel Fortran programs,
which is the centerpiece of the ParaScope project, an integrated collection of tools to help …

Many parallel programs are written in SPMD style ie by running the same sequential
program on all processes. SPMD programs include synchronization, but it is easy to write …

We present a solution to the reaching definitions problem for programs with explicit lexically
specified parallel constructs, such as cobegin/coend or parallel_sections, both with and …

Information about which statements in a concurrent program may happen in parallel (MHP)
has a number of important applications. It can be used in program optimization, debugging …

We consider parallel programs with shared memory and interleaving semantics, for which
we show how to construct for unidirectional bitvector problems optimal analysis algorithms …