Susan Horwitz

Publication Activity (10 Years)

Years Active: 1981-2014
Publications (10 Years): 0

Top Topics

Program Slicing

University Level

Data Management

Top Venues

ACM Trans. Program. Lang. Syst.

Publications

Min Aung, Susan Horwitz, Richard Joiner, Thomas W. Reps
Specialization slicing. PLDI (2014)
Min Aung, Susan Horwitz, Richard Joiner, Thomas W. Reps
Specialization Slicing. ACM Trans. Program. Lang. Syst. 36 (2) (2014)
Joanne McGrath Cohoon, James P. Cohoon, Seth Reichelson, Susan Horwitz, Laura Reasoner Jones
Pedagogy for engaging diverse students in computing: four effective methods (abstract only). SIGCSE (2013)
Susan Horwitz, Ben Liblit, Marina Polishchuk
Better Debugging via Output Tracing and Callstack-Sensitive Slicing. IEEE Trans. Software Eng. 36 (1) (2010)
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
Using peer-led team learning to increase participation and success of under-represented groups in introductory computer science. SIGCSE (2009)
Suan Hsi Yong, Susan Horwitz
Using Static Analysis to Reduce Dynamic Analysis Overhead. Formal Methods Syst. Des. 27 (3) (2005)
Suan Hsi Yong, Susan Horwitz
Pointer-Range Analysis. SAS (2004)
Raghavan Komondoor, Susan Horwitz
Effective, Automatic Procedure Extraction. IWPC (2003)
Suan Hsi Yong, Susan Horwitz
Protecting C programs from attacks via invalid pointer dereferences. ESEC / SIGSOFT FSE (2003)
Matthew Allen, Susan Horwitz
Slicing java programs that throw and catch exceptions. PEPM (2003)
Suan Hsi Yong, Susan Horwitz
Reducing the Overhead of Dynamic Analysis. Electron. Notes Theor. Comput. Sci. 70 (4) (2002)
Venkatesan T. Chakaravarthy, Susan Horwitz
On the non-approximability of points-to analysis. Acta Informatica 38 (8) (2002)
Susan Horwitz
Tool Support for Improving Test Coverage. ESOP (2002)
Sumit Kumar, Susan Horwitz
Better Slicing of Programs with Jumps and Switches. FASE (2002)
Alexey Loginov, Suan Hsi Yong, Susan Horwitz, Thomas W. Reps
Debugging via Run-Time Type Checking. FASE (2001)
Raghavan Komondoor, Susan Horwitz
Tool Demonstration: Finding Duplicated Code Using Program Dependences. ESOP (2001)
Raghavan Komondoor, Susan Horwitz
Using Slicing to Identify Duplication in Source Code. SAS (2001)
Susan Horwitz
Debugging via run-time type checking. ACM SIGSOFT Softw. Eng. Notes 25 (1) (2000)
Raghavan Komondoor, Susan Horwitz
Semantics-Preserving Procedure Extraction. POPL (2000)
Suan Hsi Yong, Susan Horwitz, Thomas W. Reps
Pointer Analysis for Programs with Structures and Casting. PLDI (1999)
Rebecca Hasti, Susan Horwitz
Using Static Single Assignment Form to Improve Flow-Insensitive Pointer Analysis. PLDI (1998)
Marc Shapiro, Susan Horwitz
The Effects of the Precision of Pointer Analysis. SAS (1997)
Susan Horwitz
Precise Flow-Insensitive May-Alias Analysis is NP-Hard. ACM Trans. Program. Lang. Syst. 19 (1) (1997)
Marc Shapiro, Susan Horwitz
Fast and Accurate Flow-Insensitive Points-To Analysis. POPL (1997)
Shmuel Sagiv, Thomas W. Reps, Susan Horwitz
Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation. Theor. Comput. Sci. 167 (1&2) (1996)
Susan Horwitz, Thomas W. Reps, Shmuel Sagiv
Demand Interprocedural Dataflow Analysis. SIGSOFT FSE (1995)
David W. Binkley, Susan Horwitz, Thomas W. Reps
Program Integration for Languages with Procedure Calls. ACM Trans. Softw. Eng. Methodol. 4 (1) (1995)
Shmuel Sagiv, Thomas W. Reps, Susan Horwitz
Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation. TAPSOFT (1995)
Thomas W. Reps, Susan Horwitz, Shmuel Sagiv
Precise Interprocedural Dataflow Analysis via Graph Reachability. POPL (1995)
Thomas W. Reps, Susan Horwitz, Shmuel Sagiv, Genevieve Rosay
Speeding up Slicing. SIGSOFT FSE (1994)
Samual Bates, Susan Horwitz
Incremental Program Testing Using Program Dependence Graphs. POPL (1993)
Thomas Ball, Susan Horwitz
Slicing Programs with Arbitrary Control-flow. AADEBUG (1993)
Susan Horwitz, Thomas W. Reps
The Use of Program Dependence Graphs in Software Engineering. ICSE (1992)
Wuu Yang, Susan Horwitz, Thomas W. Reps
A Program Integration Algorithm that Accommodates Semantics-Preserving Transformations. ACM Trans. Softw. Eng. Methodol. 1 (3) (1992)
Susan Horwitz, Thomas W. Reps
Efficient Comparison of Program Slices. Acta Informatica 28 (8) (1991)
Wuu Yang, Susan Horwitz, Thomas W. Reps
A program integration algorithm that accommodates semantics-preserving transformations. SDE (1990)
Susan Horwitz, Thomas W. Reps, David W. Binkley
Interprocedural Slicing Using Dependence Graphs. ACM Trans. Program. Lang. Syst. 12 (1) (1990)
Susan Horwitz
Identifying the Semantic and Textual Differences Between Two Versions of a Program. PLDI (1990)
Susan Horwitz
Adding Relational Query Facilities to Software Development Environments. Theor. Comput. Sci. 73 (2) (1990)
Susan Horwitz, Phil Pfeiffer, Thomas W. Reps
Dependence Analysis for Pointer Variables. PLDI (1989)
Susan Horwitz, Jan F. Prins, Thomas W. Reps
Integrating Noninterfering Versions of Programs. ACM Trans. Program. Lang. Syst. 11 (3) (1989)
Susan Horwitz
Adding Relational Query Facilities to Software Development Environments. ESOP (1988)
Susan Horwitz, Jan F. Prins, Thomas W. Reps
Integrating Non-Interfering Versions of Programs. POPL (1988)
Thomas W. Reps, Susan Horwitz
Semantics-Based Program Integration. ESOP (1988)
Susan Horwitz, Thomas W. Reps, David W. Binkley
Interprocedural slicing using dependence graphs (with retrospective) Best of PLDI (1988)
Susan Horwitz, Jan F. Prins, Thomas W. Reps
On the Adequacy of Program Dependence Graphs for Representing Programs. POPL (1988)
Thomas W. Reps, Susan Horwitz, Jan F. Prins
Support for Integrating Program Variants in an Environment for Programming in the Large. SCM (1988)
Susan Horwitz, Thomas W. Reps, David W. Binkley
Interprocedural Slicing Using Dependence Graphs. PLDI (1988)
Susan Horwitz, Alan J. Demers, Tim Teitelbaum
An Efficient General Iterative Algorithm for Dataflow Analysis. Acta Informatica 24 (6) (1987)
Susan Horwitz, Tim Teitelbaum
Generating Editing Environments Based on Relations and Attributes. ACM Trans. Program. Lang. Syst. 8 (4) (1986)
Susan Horwitz, Tim Teitelbaum
Relations and attributes: A symbiotic basis for editing environments. ACM SIGPLAN Notices 20 (7) (1985)
Tim Teitelbaum, Thomas W. Reps, Susan Horwitz
The why and wherefore of the Cornell Program Synthesizer. ACM SIGPLAN Notices 16 (6) (1981)