Susan Horwitz

According to our database, Susan Horwitz authored at least 47 papers between 1981 and 2014.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2014

Specialization Slicing.

Min Aung, Susan Horwitz, Richard Joiner, Thomas W. Reps

ACM Trans. Program. Lang. Syst., 2014

2013

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

Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013

2010

Better Debugging via Output Tracing and Callstack-Sensitive Slicing.

Susan Horwitz, Ben Liblit, Marina Polishchuk

IEEE Trans. Software Eng., 2010

2009

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

Proceedings of the 40th SIGCSE Technical Symposium on Computer Science Education, 2009

2005

Using Static Analysis to Reduce Dynamic Analysis Overhead.

Suan Hsi Yong, Susan Horwitz

Formal Methods Syst. Des., 2005

2004

Pointer-Range Analysis.

Suan Hsi Yong, Susan Horwitz

Proceedings of the Static Analysis, 11th International Symposium, 2004

2003

Protecting C programs from attacks via invalid pointer dereferences.

Suan Hsi Yong, Susan Horwitz

Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

Slicing java programs that throw and catch exceptions.

Matthew Allen, Susan Horwitz

Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2003

Effective, Automatic Procedure Extraction.

Raghavan Komondoor, Susan Horwitz

Proceedings of the 11th International Workshop on Program Comprehension (IWPC 2003), 2003

2002

Reducing the Overhead of Dynamic Analysis.

Suan Hsi Yong, Susan Horwitz

Proceedings of the Runtime Verification 2002, 2002

On the non-approximability of points-to analysis.

Venkatesan T. Chakaravarthy, Susan Horwitz

Acta Informatica, 2002

Better Slicing of Programs with Jumps and Switches.

Sumit Kumar, Susan Horwitz

Proceedings of the Fundamental Approaches to Software Engineering, 2002

Tool Support for Improving Test Coverage.

Susan Horwitz

Proceedings of the Programming Languages and Systems, 2002

2001

Using Slicing to Identify Duplication in Source Code.

Raghavan Komondoor, Susan Horwitz

Proceedings of the Static Analysis, 8th International Symposium, 2001

Debugging via Run-Time Type Checking.

Alexey Loginov, Suan Hsi Yong, Susan Horwitz, Thomas W. Reps

Proceedings of the Fundamental Approaches to Software Engineering, 2001

Tool Demonstration: Finding Duplicated Code Using Program Dependences.

Raghavan Komondoor, Susan Horwitz

Proceedings of the Programming Languages and Systems, 2001

2000

Debugging via run-time type checking.

Susan Horwitz

ACM SIGSOFT Softw. Eng. Notes, 2000

Semantics-Preserving Procedure Extraction.

Raghavan Komondoor, Susan Horwitz

Proceedings of the POPL 2000, 2000

1999

Pointer Analysis for Programs with Structures and Casting.

Suan Hsi Yong, Susan Horwitz, Thomas W. Reps

Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 1999

1998

Using Static Single Assignment Form to Improve Flow-Insensitive Pointer Analysis.

Rebecca Hasti, Susan Horwitz

Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), 1998

1997

Precise Flow-Insensitive May-Alias Analysis is NP-Hard.

Susan Horwitz

ACM Trans. Program. Lang. Syst., 1997

The Effects of the Precision of Pointer Analysis.

Marc Shapiro, Susan Horwitz

Proceedings of the Static Analysis, 4th International Symposium, 1997

Fast and Accurate Flow-Insensitive Points-To Analysis.

Marc Shapiro, Susan Horwitz

Proceedings of the Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1997

1996

Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation.

Shmuel Sagiv, Thomas W. Reps, Susan Horwitz

Theor. Comput. Sci., 1996

1995

Program Integration for Languages with Procedure Calls.

David W. Binkley, Susan Horwitz, Thomas W. Reps

ACM Trans. Softw. Eng. Methodol., 1995

Demand Interprocedural Dataflow Analysis.

Susan Horwitz, Thomas W. Reps, Shmuel Sagiv

Proceedings of the Third ACM SIGSOFT Symposium on Foundations of Software Engineering, 1995

Precise Interprocedural Dataflow Analysis via Graph Reachability.

Thomas W. Reps, Susan Horwitz, Shmuel Sagiv

Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

1994

Speeding up Slicing.

Thomas W. Reps, Susan Horwitz, Shmuel Sagiv, Genevieve Rosay

Proceedings of the Second ACM SIGSOFT Symposium on Foundations of Software Engineering, 1994

1993

Incremental Program Testing Using Program Dependence Graphs.

Samual Bates, Susan Horwitz

Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993

Slicing Programs with Arbitrary Control-flow.

Thomas Ball, Susan Horwitz

Proceedings of the Automated and Algorithmic Debugging, First International Workshop, 1993

1992

A Program Integration Algorithm that Accommodates Semantics-Preserving Transformations.

Wuu Yang, Susan Horwitz, Thomas W. Reps

ACM Trans. Softw. Eng. Methodol., 1992

The Use of Program Dependence Graphs in Software Engineering.

Susan Horwitz, Thomas W. Reps

Proceedings of the 14th International Conference on Software Engineering, 1992

1991

Efficient Comparison of Program Slices.

Susan Horwitz, Thomas W. Reps

Acta Informatica, 1991

1990

Interprocedural Slicing Using Dependence Graphs.

Susan Horwitz, Thomas W. Reps, David W. Binkley

ACM Trans. Program. Lang. Syst., 1990

Adding Relational Query Facilities to Software Development Environments.

Susan Horwitz

Theor. Comput. Sci., 1990

Identifying the Semantic and Textual Differences Between Two Versions of a Program.

Susan Horwitz

Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation (PLDI), 1990

1989

Integrating Noninterfering Versions of Programs.

Susan Horwitz, Jan F. Prins, Thomas W. Reps

ACM Trans. Program. Lang. Syst., 1989

Dependence Analysis for Pointer Variables.

Susan Horwitz, Phil Pfeiffer, Thomas W. Reps

Proceedings of the ACM SIGPLAN'89 Conference on Programming Language Design and Implementation (PLDI), 1989

1988

Support for Integrating Program Variants in an Environment for Programming in the Large.

Thomas W. Reps, Susan Horwitz, Jan F. Prins

Proceedings of the International Workshop on Software Version and Configuration Control, 1988

On the Adequacy of Program Dependence Graphs for Representing Programs.

Susan Horwitz, Jan F. Prins, Thomas W. Reps

Proceedings of the Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, 1988

Integrating Non-Interfering Versions of Programs.

Susan Horwitz, Jan F. Prins, Thomas W. Reps

Proceedings of the Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, 1988

Interprocedural slicing using dependence graphs (with retrospective)

Susan Horwitz, Thomas W. Reps, David W. Binkley

Proceedings of the 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, 1988

Semantics-Based Program Integration.

Thomas W. Reps, Susan Horwitz

Proceedings of the ESOP '88, 1988

1987

An Efficient General Iterative Algorithm for Dataflow Analysis.

Susan Horwitz, Alan J. Demers, Tim Teitelbaum

Acta Informatica, 1987

1986

Generating Editing Environments Based on Relations and Attributes.

Susan Horwitz, Tim Teitelbaum

ACM Trans. Program. Lang. Syst., 1986

1985

Relations and attributes: A symbiotic basis for editing environments.

Susan Horwitz, Tim Teitelbaum

Proceedings of the ACM SIGPLAN 85 Symposium on Language Issues in Programming Environments, 1985

1981

The why and wherefore of the Cornell Program Synthesizer.

Tim Teitelbaum, Thomas W. Reps, Susan Horwitz

Proceedings of the ACM SIGPLAN SIGOA Symposium on Text Manipulation, 1981