Susan Horwitz

According to our database1, Susan Horwitz
  • authored at least 51 papers between 1985 and 2014.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2014
Specialization Slicing.
ACM Trans. Program. Lang. Syst., 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

1996
Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation.
Theor. Comput. Sci., 1996

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
A Program Integration Algorithm that Accommodates Semantics-Preserving Transformations.
ACM Trans. Softw. Eng. Methodol., 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
Interprocedural Slicing Using Dependence Graphs.
ACM Trans. Program. Lang. Syst., 1990

Adding Relational Query Facilities to Software Development Environments.
Theor. Comput. Sci., 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


  Loading...