Susan Horwitz
According to our database1,
Susan Horwitz
authored at least 46 papers
between 1985 and 2014.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:
On csauthors.net:
Bibliography
2014
Specialization slicing.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014
2013
Pedagogy for engaging diverse students in computing: four effective methods (abstract only).
Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013
2010
Better Debugging via Output Tracing and Callstack-Sensitive Slicing.
IEEE Trans. Software Eng., 2010
2009
Using peer-led team learning to increase participation and success of under-represented groups in introductory computer science.
Proceedings of the 40th SIGCSE Technical Symposium on Computer Science Education, 2009
2005
Using Static Analysis to Reduce Dynamic Analysis Overhead.
Formal Methods in System Design, 2005
2004
Pointer-Range Analysis.
Proceedings of the Static Analysis, 11th International Symposium, 2004
2003
Protecting C programs from attacks via invalid pointer dereferences.
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.
Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2003
Effective, Automatic Procedure Extraction.
Proceedings of the 11th International Workshop on Program Comprehension (IWPC 2003), 2003
2002
Reducing the Overhead of Dynamic Analysis.
Electr. Notes Theor. Comput. Sci., 2002
On the non-approximability of points-to analysis.
Acta Inf., 2002
Better Slicing of Programs with Jumps and Switches.
Proceedings of the Fundamental Approaches to Software Engineering, 2002
Tool Support for Improving Test Coverage.
Proceedings of the Programming Languages and Systems, 2002
2001
Using Slicing to Identify Duplication in Source Code.
Proceedings of the Static Analysis, 8th International Symposium, 2001
Debugging via Run-Time Type Checking.
Proceedings of the Fundamental Approaches to Software Engineering, 2001
Tool Demonstration: Finding Duplicated Code Using Program Dependences.
Proceedings of the Programming Languages and Systems, 2001
2000
Debugging via run-time type checking.
ACM SIGSOFT Software Engineering Notes, 2000
Semantics-Preserving Procedure Extraction.
Proceedings of the POPL 2000, 2000
1999
Pointer Analysis for Programs with Structures and Casting.
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.
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.
ACM Trans. Program. Lang. Syst., 1997
The Effects of the Precision of Pointer Analysis.
Proceedings of the Static Analysis, 4th International Symposium, 1997
Fast and Accurate Flow-Insensitive Points-To Analysis.
Proceedings of the Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1997
1995
Program Integration for Languages with Procedure Calls.
ACM Trans. Softw. Eng. Methodol., 1995
Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation.
Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995
Demand Interprocedural Dataflow Analysis.
Proceedings of the SIGSOFT '95, 1995
Precise Interprocedural Dataflow Analysis via Graph Reachability.
Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995
1994
Speeding up Slicing.
Proceedings of the SIGSOFT '94, 1994
1993
Incremental Program Testing Using Program Dependence Graphs.
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.
Proceedings of the Automated and Algorithmic Debugging, First International Workshop, 1993
1992
The Use of Program Dependence Graphs in Software Engineering.
Proceedings of the 14th International Conference on Software Engineering, 1992
1991
Efficient Comparison of Program Slices.
Acta Inf., 1991
1990
A program integration algorithm that accommodates semantics-preserving transformations.
Proceedings of the SIGSOFT'90 4th Symposium on Software Development Environments, 1990
Identifying the Semantic and Textual Differences Between Two Versions of a Program.
Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation (PLDI), 1990
1989
Integrating Noninterfering Versions of Programs.
ACM Trans. Program. Lang. Syst., 1989
Dependence Analysis for Pointer Variables.
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.
Proceedings of the International Workshop on Software Version and Configuration Control, 1988
On the Adequacy of Program Dependence Graphs for Representing Programs.
Proceedings of the Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, 1988
Integrating Non-Interfering Versions of Programs.
Proceedings of the Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, 1988
Interprocedural slicing using dependence graphs (with retrospective)
Proceedings of the 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, 1988
Interprocedural Slicing Using Dependence Graphs.
Proceedings of the ACM SIGPLAN'88 Conference on Programming Language Design and Implementation (PLDI), 1988
Semantics-Based Program Integration.
Proceedings of the ESOP '88, 1988
Adding Relational Query Facilities to Software Development Environments.
Proceedings of the ESOP '88, 1988
1987
An Efficient General Iterative Algorithm for Dataflow Analysis.
Acta Inf., 1987
1986
Generating Editing Environments Based on Relations and Attributes.
ACM Trans. Program. Lang. Syst., 1986
1985
Relations and attributes: A symbiotic basis for editing environments.
SIGPLAN Notices, 1985