Susan Horwitz
Susan Horwitz
Professor Emerita of Computer Science, University of Wisconsin (deceased)
Verified email at cs.wisc.edu - Homepage
TitleCited byYear
Interprocedural slicing using dependence graphs
S Horwitz, T Reps, D Binkley
ACM Transactions on Programming Languages and Systems (TOPLAS) 12 (1), 26-60, 1990
17991990
Precise interprocedural dataflow analysis via graph reachability
T Reps, S Horwitz, M Sagiv
Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995
11161995
Interprocedural slicing using dependence graphs
S Horwitz, T Reps, D Binkley
ACM Sigplan Notices 23 (7), 35-46, 1988
6021988
Using slicing to identify duplication in source code
R Komondoor, S Horwitz
International static analysis symposium, 40-56, 2001
5822001
Integrating noninterfering versions of programs
S Horwitz, J Prins, T Reps
ACM Transactions on Programming Languages and Systems (TOPLAS) 11 (3), 345-387, 1989
5541989
The use of program dependence graphs in software engineering
S Horwitz, T Reps
14th International Conference on Software Engineering: Proceedings, 392, 1992
3601992
Fast and accurate flow-insensitive points-to analysis
M Shapiro, S Horwitz
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997
3281997
Dependence analysis for pointer variables
S Horwitz, P Pfeiffer, T Reps
ACM SIGPLan Notices 24 (7), 28-40, 1989
3241989
Incremental program testing using program dependence graphs
S Bates, S Horwitz
Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993
3221993
Identifying the semantic and textual differences between two versions of a program
S Horwitz
ACM Sigplan Notices 25 (6), 234-245, 1990
2801990
Precise interprocedural dataflow analysis with applications to constant propagation
M Sagiv, T Reps, S Horwitz
Theoretical Computer Science 167 (1-2), 131-170, 1996
2721996
Speeding up slicing
T Reps, S Horwitz, M Sagiv, G Rosay
ACM SIGSOFT Software Engineering Notes 19 (5), 11-20, 1994
2241994
Demand interprocedural dataflow analysis
S Horwitz, T Reps, M Sagiv
University of Wisconsin-Madison Department of Computer Sciences, 1995
1881995
Slicing programs with arbitrary control-flow
T Ball, S Horwitz
International Workshop on Automated and Algorithmic Debugging, 206-222, 1993
1831993
On the adequacy of program dependence graphs for representing programs
S Horwitz, J Prins, T Reps
Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of …, 1988
1831988
Precise flow-insensitive may-alias analysis is NP-hard
S Horwitz
ACM Transactions on Programming Languages and Systems (TOPLAS) 19 (1), 1-6, 1997
1661997
Program integration for languages with procedure calls
D Binkley, S Horwitz, T Reps
ACM Transactions on Software Engineering and Methodology (TOSEM) 4 (1), 3-35, 1995
1521995
The effects of the precision of pointer analysis
M Shapiro, S Horwitz
International Static Analysis Symposium, 16-34, 1997
1331997
Protecting C programs from attacks via invalid pointer dereferences
SH Yong, S Horwitz
ACM SIGSOFT Software Engineering Notes 28 (5), 307-316, 2003
1282003
Using static single assignment form to improve flow-insensitive pointer analysis
R Hasti, S Horwitz
ACM SIGPLAN Notices 33 (5), 97-105, 1998
1251998
The system can't perform the operation now. Try again later.
Articles 1–20