Ph.D., Cornell University, 1985
Computer Sciences Department
University of Wisconsin
1210 W. Dayton St.
Madison, WI 53706-1685
telephone: (608) 262-1204
fax: (608) 262-9777
Software development environments; language-based tools; program
slicing, differencing, and merging; static analysis of programs;
I am interested in the design and implementation of language-specific
tools to alleviate the problems associated with developing and
maintaining software. Much of my work has been on the use of program
dependence graphs and program slicing in this context.
In particular, program dependence graphs and slicing can be used
to help programmers understand existing programs, to show the
effects of proposed changes, to show differences between versions
of programs, to retest a program after a modification, and to
create new programs from old ones.
Recently, I have worked on new techniques for dataflow analysis,
especially for analyzing the use of pointers in languages like
Sample Recent Publications
Using static single assignment form to improve flow-insensitive
pointer analysis (with R. Hasti), Proceedings of the SIGPLAN
'98 Conference on Program Language Design and Implementation,
The effects of the precision of pointer analysis (with M. Shapiro),
Static Analysis Fourth Intl Symposium, Lecture Notes in Computer
Science Vol 1302, September 1997.
Fast and accurate flow-insensitive points-to analysis (with M.
Shapiro), Conference Record of the 24th ACM Symposium on Principles
of Programming Languages, January 1997.
This page was automatically created December 30, 1998.
to report errors.