Susan B. Horwitz

Professor
Computer Sciences Department
University of Wisconsin-Madison
1210 West Dayton Street
Madison, WI 53706-1685
USA

E-mail: horwitz@cs.wisc.edu
Telephone: (608) 262-7946
Secretary: (608) 262-0017
Department: (608) 262-1204
Fax: (608) 262-9777

Ph.D., Cornell University, 1985

Research interests:


Research Summary

My work mainly involves the design and implementation of language-based programming tools that help programmers with problems like:

This work has involved the use of a program representation called the program dependence graph (PDG), and an operation called slicing.

I am also working on new algorithms for precise, interprocedural dataflow analysis. Previous work on interprocedural dataflow analysis mainly concentrated either on efficient algorithms for specific individual problems, or on (not necessarily efficient) algorithms for a general class of problems. Thomas Reps, Mooly Sagiv, and I have developed and implemented a new algorithm that is both efficient, and applies to a large class of problems.


Recent Publications