Person: Susan Horwitz

DBLP: Horwitz:Susan

Facilitated 1 volumes:

Ed

Contributed to:

2014

2004

2003

2003

2003

2002

2002

2001

2001

2001

2000

1999

1998

1997

1997

1995

1995

1994

1993

1992

1990

1989

1988

1988

1988

1988

1995

1996

Wrote 30 papers:

PLDI-2014-AungHJR #slicing

Specialization slicing (MA, SH, RJ, TWR), p. 19.

SAS-2004-YongH #analysis

Pointer-Range Analysis (SHY, SH), pp. 133–148.

ESEC-FSE-2003-YongH #c #pointer #source code

Protecting C programs from attacks via invalid pointer dereferences (SHY, SH), pp. 307–316.

IWPC-2003-KomondoorH #automation #effectiveness

Effective, Automatic Procedure Extraction (RK, SH), pp. 33–43.

PEPM-2003-AllenH #exception #java #slicing #source code

Slicing java programs that throw and catch exceptions (MA, SH), pp. 44–54.

ESOP-2002-Horwitz #test coverage #tool support

Tool Support for Improving Test Coverage (SH), pp. 162–177.

FASE-2002-KumarH #slicing #source code

Better Slicing of Programs with Jumps and Switches (SK, SH), pp. 96–112.

ESOP-2001-KomondoorH #dependence #tool support #using

Tool Demonstration: Finding Duplicated Code Using Program Dependences (RK, SH), pp. 383–386.

FASE-2001-LoginovYHR #debugging #runtime #type checking

Debugging via Run-Time Type Checking (AL, SHY, SH, TWR), pp. 217–232.

SAS-2001-KomondoorH #identification #slicing #source code #using

Using Slicing to Identify Duplication in Source Code (RK, SH), pp. 40–56.

POPL-2000-KomondoorH #semantics

Semantics-Preserving Procedure Extraction (RK, SH), pp. 155–169.

PLDI-1999-YongHR #analysis #pointer #source code

Pointer Analysis for Programs with Structures and Casting (SHY, SH, TWR), pp. 91–103.

PLDI-1998-HastiH #analysis #pointer #using

Using Static Single Assignment Form to Improve Flow-Insensitive Pointer Analysis (RH, SH), pp. 97–105.

POPL-1997-ShapiroH #analysis #performance #points-to

Fast and Accurate Flow-Insensitive Points-To Analysis (MS, SH), pp. 1–14.

SAS-1997-ShapiroH #analysis #pointer #precise

The Effects of the Precision of Pointer Analysis (MS, SH), pp. 16–34.

FSE-1995-HorwitzRS #analysis #data flow #interprocedural

Demand Interprocedural Dataflow Analysis (SH, TWR, SS), pp. 104–115.

POPL-1995-RepsHS #analysis #data flow #graph #interprocedural #precise #reachability

Precise Interprocedural Dataflow Analysis via Graph Reachability (TWR, SH, SS), pp. 49–61.

FSE-1994-RepsHSR #slicing

Speeding up Slicing (TWR, SH, SS, GR), pp. 11–20.

POPL-1993-BatesH #dependence #graph #incremental #testing #using

Incremental Program Testing Using Program Dependence Graphs (SB, SH), pp. 384–396.

ICSE-1992-HorwitzR #dependence #graph #re-engineering #using

The Use of Program Dependence Graphs in Software Engineering (SH, TWR), pp. 392–411.

PLDI-1990-Horwitz #difference #identification #semantics

Identifying the Semantic and Textual Differences Between Two Versions of a Program (SH), pp. 234–245.

PLDI-1989-HorwitzPR #analysis #dependence #pointer

Dependence Analysis for Pointer Variables (SH, PP, TWR), pp. 28–40.

Best-of-PLDI-1988-HorwitzRB88a #dependence #graph #interprocedural #slicing #using

Interprocedural slicing using dependence graphs (with retrospective) (SH, TWR, DB), pp. 229–243.

ESOP-1988-Horwitz #development #query #relational

Adding Relational Query Facilities to Software Development Environments (SH), pp. 269–283.

ESOP-1988-RepsH #integration #semantics

Semantics-Based Program Integration (TWR, SH), pp. 1–20.

PLDI-1988-HorwitzRB #dependence #graph #interprocedural #slicing #using

Interprocedural Slicing Using Dependence Graphs (SH, TWR, DB), pp. 35–46.

POPL-1988-HorwitzPR #source code

Integrating Non-Interfering Versions of Programs (SH, JP, TWR), pp. 133–145.

POPL-1988-HorwitzPR88a #dependence #graph #on the #representation #source code

On the Adequacy of Program Dependence Graphs for Representing Programs (SH, JP, TWR), pp. 146–157.

TAPSOFT-1995-SagivRH #analysis #constant #data flow #interprocedural #precise

Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation (SS, TWR, SH), pp. 651–665.

TAPSOFT-J-1995-SagivRH96 #analysis #constant #data flow #interprocedural #precise

Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation (SS, TWR, SH), pp. 131–170.