Program slicing is a technique to extract program parts with respect to some special
computation. Since Weiser first proposed the notion of slicing in 1979, hundreds of papers …

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

A program slice consists of the parts of a program that (potentially) affect the values
computed at some point of interest. Such a point of interest is referred to as a slicing …

In shared-memory parallel programs that use explicit synchronization, race conditions result
when accesses to shared memory are not properly synchronized. Race conditions are often …

The availability of multicore processors across a wide range of computing platforms has
created a strong demand for software frameworks that can harness these resources. This …

This paper describes algorithms for inserting monitoring code to profile and trace programs.
These algorithms greatly reduce the cost of measuring programs with respect to the …

Programmers spend considerable time debugging code. Symbolic debuggers provide some
help but the task remains complex and difficult. Other than breakpoints and tracing, these …

ThE paper presents an efficient on-the-fly method for detecting accessanomalies in
programs that contain critical section coordinw tion. For a large class of programs, a single …

A parallel multithreaded program that is ostensibly deterministic may nevertheless behave
nondeterministically due to bugs in the code. These bugs are called determinacy races, and …

We aim to improve reliability of multithreaded programs by proposing a dynamic detector
that detects potentially erroneous program executions and their causes. We design and …