Susan Horwitz

Interprocedural slicing using dependence graphs

Susan Horwitz, Thomas Reps, David Binkley · ACM Transactions on Programming Languages and Systems · 1990 · 1.5K citations · Full text

Computing, Computer Science, Algorithms +11

Precise interprocedural dataflow analysis via graph reachability

Thomas Reps, Susan Horwitz, Mooly Sagiv · 1995 · 1.2K citations

Computing, Computer Science, Algorithms +15

Integrating noninterfering versions of programs

Susan Horwitz, Jan F. Prins, Thomas Reps · ACM Transactions on Programming Languages and Systems · 1989 · 420 citations

Computing, Computer Engineering, Computer Science +7

Interprocedural slicing using dependence graphs

Susan Horwitz, Thomas Reps, David Binkley · ACM SIGPLAN Notices · 2004 · 376 citations

Computing, Computer Science, Algorithms +11

Precise interprocedural dataflow analysis with applications to constant propagation

Mooly Sagiv, Thomas Reps, Susan Horwitz · Theoretical Computer Science · 1996 · 290 citations

Computing, Computer Engineering, Computer Science +10