dblp.uni-trier.dewww.uni-trier.de

Susan Horwitz Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
44EESusan 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
43EESuan Hsi Yong, Susan Horwitz: Using Static Analysis to Reduce Dynamic Analysis Overhead. Formal Methods in System Design 27(3): 313-334 (2005)
2004
42EESuan Hsi Yong, Susan Horwitz: Pointer-Range Analysis. SAS 2004: 133-148
2003
41EESuan Hsi Yong, Susan Horwitz: Protecting C programs from attacks via invalid pointer dereferences. ESEC / SIGSOFT FSE 2003: 307-316
40EERaghavan Komondoor, Susan Horwitz: Effective, Automatic Procedure Extraction. IWPC 2003: 33-
39EEMatthew Allen, Susan Horwitz: Slicing java programs that throw and catch exceptions. PEPM 2003: 44-54
2002
38EESusan Horwitz: Tool Support for Improving Test Coverage. ESOP 2002: 162-177
37EESumit Kumar, Susan Horwitz: Better Slicing of Programs with Jumps and Switches. FASE 2002: 96-112
36EEVenkatesan T. Chakaravarthy, Susan Horwitz: On the non-approximability of points-to analysis. Acta Inf. 38(8): 587-598 (2002)
35EESuan Hsi Yong, Susan Horwitz: Reducing the Overhead of Dynamic Analysis. Electr. Notes Theor. Comput. Sci. 70(4): (2002)
2001
34EERaghavan Komondoor, Susan Horwitz: Tool Demonstration: Finding Duplicated Code Using Program Dependences. ESOP 2001: 383-386
33EEAlexey Loginov, Suan Hsi Yong, Susan Horwitz, Thomas W. Reps: Debugging via Run-Time Type Checking. FASE 2001: 217-232
32EERaghavan Komondoor, Susan Horwitz: Using Slicing to Identify Duplication in Source Code. SAS 2001: 40-56
2000
31EERaghavan Komondoor, Susan Horwitz: Semantics-Preserving Procedure Extraction. POPL 2000: 155-169
1999
30EESuan 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
28EEMarc 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
26EESusan Horwitz: Precise Flow-Insensitive May-Alias Analysis is NP-Hard. ACM Trans. Program. Lang. Syst. 19(1): 1-6 (1997)
1996
25EEShmuel 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
23EESusan Horwitz, Thomas W. Reps, Shmuel Sagiv: Demand Interprocedural Dataflow Analysis. SIGSOFT FSE 1995: 104-115
22EEShmuel Sagiv, Thomas W. Reps, Susan Horwitz: Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation. TAPSOFT 1995: 651-665
21EEDavid Binkley, Susan Horwitz, Thomas W. Reps: Program Integration for Languages with Procedure Calls. ACM Trans. Softw. Eng. Methodol. 4(1): 3-35 (1995)
1994
20EEThomas 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
17EESusan Horwitz, Thomas W. Reps: The Use of Program Dependence Graphs in Software Engineering. ICSE 1992: 392-411
16EEWuu 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
13EESusan 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
10EESusan Horwitz, Jan Prins, Thomas W. Reps: Integrating Noninterfering Versions of Programs. ACM Trans. Program. Lang. Syst. 11(3): 345-387 (1989)
1988
9EESusan Horwitz, Thomas W. Reps, David Binkley: Interprocedural slicing using dependence graphs (with retrospective) Best of PLDI 1988: 229-243
8EEThomas W. Reps, Susan Horwitz: Semantics-Based Program Integration. ESOP 1988: 1-20
7EESusan 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
1EESusan Horwitz, Tim Teitelbaum: Generating Editing Environments Based on Relations and Attributes. ACM Trans. Program. Lang. Syst. 8(4): 577-608 (1986)

Coauthor Index

1Matthew Allen [39]
2Thomas Ball [19]
3Samual Bates [18]
4Maureen Biggers [44]
5David Binkley [6] [9] [13] [21] [44]
6Venkatesan T. Chakaravarthy [36]
7Alan J. Demers [2]
8C. Kolin Frantz [44]
9Dawn Gundermann [44]
10Susanne E. Hambrusch [44]
11Rebecca Hasti [29]
12Steven Huss-Lederman [44]
13Raghavan Komondoor [31] [32] [34] [40]
14Sumit Kumar [37]
15Alexey Loginov [33]
16Ethan V. Munson [44]
17Phil Pfeiffer [11]
18Jan Prins [3] [4] [5] [10]
19Thomas W. Reps [3] [4] [5] [6] [8] [9] [10] [11] [13] [15] [16] [17] [20] [21] [22] [23] [24] [25] [30] [33]
20Susan H. Rodger [44]
21Genevieve Rosay [20]
22Barbara G. Ryder [44]
23Shmuel Sagiv (Mooly Sagiv) [20] [22] [23] [24] [25]
24Marc Shapiro [27] [28]
25Monica Sweat [44]
26Tim Teitelbaum [1] [2]
27Wuu Yang [16]
28Suan Hsi Yong [30] [33] [35] [41] [42] [43]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)