Susan Horwitz
Professor
Computer Sciences Department
University of Wisconsin
1210 W. Dayton St.
Madison, WI 53706-1685
telephone: (608) 262-1204
fax: (608) 262-9777
email:
horwitz@cs.wisc.edu
http://www.cs.wisc.edu/~horwitz/
Ph.D., Cornell University, 1985
Interests:
Software development environments; language-based tools; program
slicing, differencing, and merging; static analysis of programs;
pointer analysis.
Research Summary
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
C.
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,
June 1998.
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.
Email pubs@cs.wisc.edu
to report errors.