The why and wherefore of the Cornell Program Synthesizer. - Tim Teitelbaum; Thomas W. Reps; Susan Horwitz (SIGPLAN SIGOA Symposium on Text Manipulation, 1981)

Relations and attributes: A symbiotic basis for editing environments. - Susan Horwitz; Tim Teitelbaum (SLIPE, 1985)

Generating Editing Environments Based on Relations and Attributes. - Susan Horwitz; Tim Teitelbaum (ACM Trans. Program. Lang. Syst., 1986)

An Efficient General Iterative Algorithm for Dataflow Analysis. - Susan Horwitz; Alan J. Demers; Tim Teitelbaum (Acta Informatica, 1987)

Semantics-Based Program Integration. - Thomas W. Reps; Susan Horwitz (ESOP, 1988)

Interprocedural slicing using dependence graphs (with retrospective) - Susan Horwitz; Thomas W. Reps; David W. Binkley (Best of PLDI, 1988)

Integrating Non-Interfering Versions of Programs. - Susan Horwitz; Jan F. Prins; Thomas W. Reps (POPL, 1988)

On the Adequacy of Program Dependence Graphs for Representing Programs. - Susan Horwitz; Jan F. Prins; Thomas W. Reps (POPL, 1988)

Support for Integrating Program Variants in an Environment for Programming in the Large. - Thomas W. Reps; Susan Horwitz; Jan F. Prins (SCM, 1988)

Dependence Analysis for Pointer Variables. - Susan Horwitz; Phil Pfeiffer; Thomas W. Reps (PLDI, 1989)

Integrating Noninterfering Versions of Programs. - Susan Horwitz; Jan F. Prins; Thomas W. Reps (ACM Trans. Program. Lang. Syst., 1989)

Identifying the Semantic and Textual Differences Between Two Versions of a Program. - Susan Horwitz (PLDI, 1990)

Adding Relational Query Facilities to Software Development Environments. - Susan Horwitz (Theor. Comput. Sci., 1990)

Interprocedural Slicing Using Dependence Graphs. - Susan Horwitz; Thomas W. Reps; David W. Binkley (ACM Trans. Program. Lang. Syst., 1990)

Efficient Comparison of Program Slices. - Susan Horwitz; Thomas W. Reps (Acta Informatica, 1991)

The Use of Program Dependence Graphs in Software Engineering. - Susan Horwitz; Thomas W. Reps (ICSE, 1992)

A Program Integration Algorithm that Accommodates Semantics-Preserving Transformations. - Wuu Yang; Susan Horwitz; Thomas W. Reps (ACM Trans. Softw. Eng. Methodol., 1992)

Slicing Programs with Arbitrary Control-flow. - Thomas Ball 001; Susan Horwitz (AADEBUG, 1993)

Incremental Program Testing Using Program Dependence Graphs. - Samual Bates; Susan Horwitz (POPL, 1993)

Speeding up Slicing. - Thomas W. Reps; Susan Horwitz; Shmuel Sagiv; Genevieve Rosay (SIGSOFT FSE, 1994)

Precise Interprocedural Dataflow Analysis via Graph Reachability. - Thomas W. Reps; Susan Horwitz; Shmuel Sagiv (POPL, 1995)

Demand Interprocedural Dataflow Analysis. - Susan Horwitz; Thomas W. Reps; Shmuel Sagiv (SIGSOFT FSE, 1995)

Program Integration for Languages with Procedure Calls. - David W. Binkley; Susan Horwitz; Thomas W. Reps (ACM Trans. Softw. Eng. Methodol., 1995)

Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation. - Shmuel Sagiv; Thomas W. Reps; Susan Horwitz (Theor. Comput. Sci., 1996)

Fast and Accurate Flow-Insensitive Points-To Analysis. - Marc Shapiro 002; Susan Horwitz (POPL, 1997)

The Effects of the Precision of Pointer Analysis. - Marc Shapiro 002; Susan Horwitz (SAS, 1997)

Precise Flow-Insensitive May-Alias Analysis is NP-Hard. - Susan Horwitz (ACM Trans. Program. Lang. Syst., 1997)

Using Static Single Assignment Form to Improve Flow-Insensitive Pointer Analysis. - Rebecca Hasti; Susan Horwitz (PLDI, 1998)

Pointer Analysis for Programs with Structures and Casting. - Suan Hsi Yong; Susan Horwitz; Thomas W. Reps (PLDI, 1999)

Semantics-Preserving Procedure Extraction. - Raghavan Komondoor; Susan Horwitz (POPL, 2000)

Debugging via run-time type checking. - Susan Horwitz (ACM SIGSOFT Softw. Eng. Notes, 2000)

Tool Demonstration: Finding Duplicated Code Using Program Dependences. - Raghavan Komondoor; Susan Horwitz (ESOP, 2001)

Debugging via Run-Time Type Checking. - Alexey Loginov; Suan Hsi Yong; Susan Horwitz; Thomas W. Reps (FASE, 2001)

Using Slicing to Identify Duplication in Source Code. - Raghavan Komondoor; Susan Horwitz (SAS, 2001)

Tool Support for Improving Test Coverage. - Susan Horwitz (ESOP, 2002)

Better Slicing of Programs with Jumps and Switches. - Sumit Kumar; Susan Horwitz (FASE, 2002)

On the non-approximability of points-to analysis. - Venkatesan T. Chakaravarthy; Susan Horwitz (Acta Informatica, 2002)

Reducing the Overhead of Dynamic Analysis. - Suan Hsi Yong; Susan Horwitz (RV@FLoC, 2002)

Effective, Automatic Procedure Extraction. - Raghavan Komondoor; Susan Horwitz (IWPC, 2003)

Slicing java programs that throw and catch exceptions. - Matthew Allen; Susan Horwitz (PEPM, 2003)

Protecting C programs from attacks via invalid pointer dereferences. - Suan Hsi Yong; Susan Horwitz (ESEC / SIGSOFT FSE, 2003)

Pointer-Range Analysis. - Suan Hsi Yong; Susan Horwitz (SAS, 2004)

Using Static Analysis to Reduce Dynamic Analysis Overhead. - Suan Hsi Yong; Susan Horwitz (Formal Methods Syst. Des., 2005)

Using peer-led team learning to increase participation and success of under-represented groups in introductory computer science. - Susan Horwitz; Susan H. Rodger; Maureen Biggers; David W. Binkley; C. Kolin Frantz; Dawn Gundermann; Susanne E. Hambrusch; Steven Huss-Lederman; Ethan V. Munson; Barbara G. Ryder; Monica Sweat (SIGCSE, 2009)

Better Debugging via Output Tracing and Callstack-Sensitive Slicing. - Susan Horwitz; Ben Liblit; Marina Polishchuk (IEEE Trans. Software Eng., 2010)

Pedagogy for engaging diverse students in computing: four effective methods (abstract only). - Joanne McGrath Cohoon; James P. Cohoon; Seth Reichelson; Susan Horwitz; Laura Reasoner Jones (SIGCSE, 2013)

Specialization Slicing. - Min Aung; Susan Horwitz; Richard Joiner; Thomas W. Reps (ACM Trans. Program. Lang. Syst., 2014)