| 2009 |
|---|
| 44 | EE | Susan Horwitz,
Susan H. Rodger,
Maureen Biggers,
David Binkley,
C. Kolin Frantz,
Dawn Gundermann,
Susanne E. Hambrusch,
Steven Huss-Lederman,
Ethan V. Munson,
Barbara G. Ryder,
Monica Sweat:
Using peer-led team learning to increase participation and success of under-represented groups in introductory computer science.
SIGCSE 2009: 163-167 |
| 2005 |
|---|
| 43 | EE | Suan Hsi Yong,
Susan Horwitz:
Using Static Analysis to Reduce Dynamic Analysis Overhead.
Formal Methods in System Design 27(3): 313-334 (2005) |
| 2004 |
|---|
| 42 | EE | Suan Hsi Yong,
Susan Horwitz:
Pointer-Range Analysis.
SAS 2004: 133-148 |
| 2003 |
|---|
| 41 | EE | Suan Hsi Yong,
Susan Horwitz:
Protecting C programs from attacks via invalid pointer dereferences.
ESEC / SIGSOFT FSE 2003: 307-316 |
| 40 | EE | Raghavan Komondoor,
Susan Horwitz:
Effective, Automatic Procedure Extraction.
IWPC 2003: 33- |
| 39 | EE | Matthew Allen,
Susan Horwitz:
Slicing java programs that throw and catch exceptions.
PEPM 2003: 44-54 |
| 2002 |
|---|
| 38 | EE | Susan Horwitz:
Tool Support for Improving Test Coverage.
ESOP 2002: 162-177 |
| 37 | EE | Sumit Kumar,
Susan Horwitz:
Better Slicing of Programs with Jumps and Switches.
FASE 2002: 96-112 |
| 36 | EE | Venkatesan T. Chakaravarthy,
Susan Horwitz:
On the non-approximability of points-to analysis.
Acta Inf. 38(8): 587-598 (2002) |
| 35 | EE | Suan Hsi Yong,
Susan Horwitz:
Reducing the Overhead of Dynamic Analysis.
Electr. Notes Theor. Comput. Sci. 70(4): (2002) |
| 2001 |
|---|
| 34 | EE | Raghavan Komondoor,
Susan Horwitz:
Tool Demonstration: Finding Duplicated Code Using Program Dependences.
ESOP 2001: 383-386 |
| 33 | EE | Alexey Loginov,
Suan Hsi Yong,
Susan Horwitz,
Thomas W. Reps:
Debugging via Run-Time Type Checking.
FASE 2001: 217-232 |
| 32 | EE | Raghavan Komondoor,
Susan Horwitz:
Using Slicing to Identify Duplication in Source Code.
SAS 2001: 40-56 |
| 2000 |
|---|
| 31 | EE | Raghavan Komondoor,
Susan Horwitz:
Semantics-Preserving Procedure Extraction.
POPL 2000: 155-169 |
| 1999 |
|---|
| 30 | EE | Suan Hsi Yong,
Susan Horwitz,
Thomas W. Reps:
Pointer Analysis for Programs with Structures and Casting.
PLDI 1999: 91-103 |
| 1998 |
|---|
| 29 | | Rebecca Hasti,
Susan Horwitz:
Using Static Single Assignment Form to Improve Flow-Insensitive Pointer Analysis.
PLDI 1998: 97-105 |
| 1997 |
|---|
| 28 | EE | Marc Shapiro,
Susan Horwitz:
Fast and Accurate Flow-Insensitive Points-To Analysis.
POPL 1997: 1-14 |
| 27 | | Marc Shapiro,
Susan Horwitz:
The Effects of the Presision of Pointer Analysis.
SAS 1997: 16-34 |
| 26 | EE | Susan Horwitz:
Precise Flow-Insensitive May-Alias Analysis is NP-Hard.
ACM Trans. Program. Lang. Syst. 19(1): 1-6 (1997) |
| 1996 |
|---|
| 25 | EE | Shmuel Sagiv,
Thomas W. Reps,
Susan Horwitz:
Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation.
Theor. Comput. Sci. 167(1&2): 131-170 (1996) |
| 1995 |
|---|
| 24 | | Thomas W. Reps,
Susan Horwitz,
Shmuel Sagiv:
Precise Interprocedural Dataflow Analysis via Graph Reachability.
POPL 1995: 49-61 |
| 23 | EE | Susan Horwitz,
Thomas W. Reps,
Shmuel Sagiv:
Demand Interprocedural Dataflow Analysis.
SIGSOFT FSE 1995: 104-115 |
| 22 | | Shmuel Sagiv,
Thomas W. Reps,
Susan Horwitz:
Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation.
TAPSOFT 1995: 651-665 |
| 21 | EE | David Binkley,
Susan Horwitz,
Thomas W. Reps:
Program Integration for Languages with Procedure Calls.
ACM Trans. Softw. Eng. Methodol. 4(1): 3-35 (1995) |
| 1994 |
|---|
| 20 | EE | Thomas W. Reps,
Susan Horwitz,
Shmuel Sagiv,
Genevieve Rosay:
Speeding up Slicing.
SIGSOFT FSE 1994: 11-20 |
| 1993 |
|---|
| 19 | | Thomas Ball,
Susan Horwitz:
Slicing Programs with Arbitrary Control-flow.
AADEBUG 1993: 206-222 |
| 18 | | Samual Bates,
Susan Horwitz:
Incremental Program Testing Using Program Dependence Graphs.
POPL 1993: 384-396 |
| 1992 |
|---|
| 17 | EE | Susan Horwitz,
Thomas W. Reps:
The Use of Program Dependence Graphs in Software Engineering.
ICSE 1992: 392-411 |
| 16 | EE | Wuu Yang,
Susan Horwitz,
Thomas W. Reps:
A Program Integration Algorithm that Accommodates Semantics-Preserving Transformations.
ACM Trans. Softw. Eng. Methodol. 1(3): 310-354 (1992) |
| 1991 |
|---|
| 15 | | Susan Horwitz,
Thomas W. Reps:
Efficient Comparison of Program Slices.
Acta Inf. 28(8): 713-732 (1991) |
| 1990 |
|---|
| 14 | | Susan Horwitz:
Identifying the Semantic and Textual Differences Between Two Versions of a Program.
PLDI 1990: 234-245 |
| 13 | EE | Susan Horwitz,
Thomas W. Reps,
David Binkley:
Interprocedural Slicing Using Dependence Graphs.
ACM Trans. Program. Lang. Syst. 12(1): 26-60 (1990) |
| 12 | | Susan Horwitz:
Adding Relational Query Facilities to Software Development Environments.
Theor. Comput. Sci. 73(2): 213-230 (1990) |
| 1989 |
|---|
| 11 | | Susan Horwitz,
Phil Pfeiffer,
Thomas W. Reps:
Dependence Analysis for Pointer Variables.
PLDI 1989: 28-40 |
| 10 | EE | Susan Horwitz,
Jan Prins,
Thomas W. Reps:
Integrating Noninterfering Versions of Programs.
ACM Trans. Program. Lang. Syst. 11(3): 345-387 (1989) |
| 1988 |
|---|
| 9 | EE | Susan Horwitz,
Thomas W. Reps,
David Binkley:
Interprocedural slicing using dependence graphs (with retrospective)
Best of PLDI 1988: 229-243 |
| 8 | | Thomas W. Reps,
Susan Horwitz:
Semantics-Based Program Integration.
ESOP 1988: 1-20 |
| 7 | | Susan Horwitz:
Adding Relational Query Facilities to Software Development Environments.
ESOP 1988: 269-283 |
| 6 | | Susan Horwitz,
Thomas W. Reps,
David Binkley:
Interprocedural Slicing Using Dependence Graphs
PLDI 1988: 35-46 |
| 5 | | Susan Horwitz,
Jan Prins,
Thomas W. Reps:
Integrating Non-Interfering Versions of Programs.
POPL 1988: 133-145 |
| 4 | | Susan Horwitz,
Jan Prins,
Thomas W. Reps:
On the Adequacy of Program Dependence Graphs for Representing Programs.
POPL 1988: 146-157 |
| 3 | | Thomas W. Reps,
Susan Horwitz,
Jan Prins:
Support for Integrating Program Variants in an Environment for Programming in the Large.
SCM 1988: 197-216 |
| 1987 |
|---|
| 2 | | Susan Horwitz,
Alan J. Demers,
Tim Teitelbaum:
An Efficient General Iterative Algorithm for Dataflow Analysis.
Acta Inf. 24(6): 679-694 (1987) |
| 1986 |
|---|
| 1 | EE | Susan Horwitz,
Tim Teitelbaum:
Generating Editing Environments Based on Relations and Attributes.
ACM Trans. Program. Lang. Syst. 8(4): 577-608 (1986) |
