A Framework for Construction and Evaluation of High-Level Specifications for Program Analysis Techniques. - G. A. Venkatesh (PLDI, 1989)

The Semantic Approach to Program Slicing. - G. A. Venkatesh (PLDI, 1991)

SPARE: A Development Environment For Program Analysis Algorithms. - G. A. Venkatesh; Charles N. Fischer (IEEE Trans. Software Eng., 1992)

Experimental Results from Dynamic Slicing of C Program. - G. A. Venkatesh (ACM Trans. Program. Lang. Syst., 1995)