Front Page

The Liberty Research Group

Static Interprocedural Slicing of Shared Memory Parallel Programs [abstract] (PDF, PostScript)
Dixie M. Hisley, Matthew J. Bridges, and Lori L. Pollock
Proceedings of the 2002 International Conference on Parallel and Distributed Processing Techniques and Applications, June 2002.

Software tools for program debugging, software testing, software maintenance, and program understanding have all effectively utilized static program slicing techniques. In this paper, we present an approach to extend this capability to explicitly parallel shared memory programs written using the OpenMP standard. In particular, interprocedural static program slicing of OpenMP programs is enabled by extending standard program representations for control flow and program dependences to support OpenMP parallel, data, and synchronization constructs. The slicing algorithm builds on the algorithms for interprocedural slicing of sequential programs and an algorithm for intraprocedural slicing of parallel programs.