Susan Horwitz

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