Susan Horwitz
Susan Horwitz
Professor Emerita of Computer Science, University of Wisconsin (deceased)
Verified email at cs.wisc.edu - Homepage
Title
Cited by
Cited by
Year
Interprocedural slicing using dependence graphs
S Horwitz, T Reps, D Binkley
ACM Transactions on Programming Languages and Systems (TOPLAS) 12 (1), 26-60, 1990
18381990
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
11671995
Using slicing to identify duplication in source code
R Komondoor, S Horwitz
International static analysis symposium, 40-56, 2001
6282001
Interprocedural slicing using dependence graphs
S Horwitz, T Reps, D Binkley
Proceedings of the ACM SIGPLAN 1988 conference on Programming Language …, 1988
6251988
Integrating noninterfering versions of programs
S Horwitz, J Prins, T Reps
ACM Transactions on Programming Languages and Systems (TOPLAS) 11 (3), 345-387, 1989
5691989
The use of program dependence graphs in software engineering
S Horwitz, T Reps
Proceedings of the 14th international conference on Software engineering …, 1992
3671992
Fast and accurate flow-insensitive points-to analysis
M Shapiro, S Horwitz
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997
3301997
Dependence analysis for pointer variables
S Horwitz, P Pfeiffer, T Reps
Proceedings of the ACM SIGPLAN 1989 Conference on Programming language …, 1989
3301989
Incremental program testing using program dependence graphs
S Bates, S Horwitz
Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993
3281993
Precise interprocedural dataflow analysis with applications to constant propagation
M Sagiv, T Reps, S Horwitz
Theoretical Computer Science 167 (1-2), 131-170, 1996
2841996
Identifying the semantic and textual differences between two versions of a program
S Horwitz
Proceedings of the ACM SIGPLAN 1990 conference on Programming language …, 1990
2821990
Speeding up slicing
T Reps, S Horwitz, M Sagiv, G Rosay
ACM SIGSOFT Software Engineering Notes 19 (5), 11-20, 1994
2291994
Demand interprocedural dataflow analysis
S Horwitz, T Reps, M Sagiv
ACM SIGSOFT Software Engineering Notes 20 (4), 104-115, 1995
1941995
Slicing programs with arbitrary control-flow
T Ball, S Horwitz
International Workshop on Automated and Algorithmic Debugging, 206-222, 1993
1911993
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
1861988
Precise flow-insensitive may-alias analysis is NP-hard
S Horwitz
ACM Transactions on Programming Languages and Systems (TOPLAS) 19 (1), 1-6, 1997
1711997
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
1581995
The effects of the precision of pointer analysis
M Shapiro, S Horwitz
International Static Analysis Symposium, 16-34, 1997
1381997
Protecting C programs from attacks via invalid pointer dereferences
SH Yong, S Horwitz
Proceedings of the 9th European software engineering conference held jointly …, 2003
1342003
Using static single assignment form to improve flow-insensitive pointer analysis
R Hasti, S Horwitz
ACM SIGPLAN Notices 33 (5), 97-105, 1998
1261998
The system can't perform the operation now. Try again later.
Articles 1–20