Susan Horwitz Home Page Coauthor index pubzone.org

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

DBLP keys2010
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusan Horwitz, Ben Liblit, Marina Polishchuk: Better Debugging via Output Tracing and Callstack-Sensitive Slicing. IEEE Trans. Software Eng. 36(1): 7-19 (2010)
2009
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusan 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
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSuan Hsi Yong, Susan Horwitz: Using Static Analysis to Reduce Dynamic Analysis Overhead. Formal Methods in System Design 27(3): 313-334 (2005)
2004
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSuan Hsi Yong, Susan Horwitz: Pointer-Range Analysis. SAS 2004: 133-148
2003
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSuan Hsi Yong, Susan Horwitz: Protecting C programs from attacks via invalid pointer dereferences. ESEC / SIGSOFT FSE 2003: 307-316
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaghavan Komondoor, Susan Horwitz: Effective, Automatic Procedure Extraction. IWPC 2003: 33-
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew Allen, Susan Horwitz: Slicing java programs that throw and catch exceptions. PEPM 2003: 44-54
2002
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusan Horwitz: Tool Support for Improving Test Coverage. ESOP 2002: 162-177
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSumit Kumar, Susan Horwitz: Better Slicing of Programs with Jumps and Switches. FASE 2002: 96-112
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVenkatesan T. Chakaravarthy, Susan Horwitz: On the non-approximability of points-to analysis. Acta Inf. 38(8): 587-598 (2002)
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSuan Hsi Yong, Susan Horwitz: Reducing the Overhead of Dynamic Analysis. Electr. Notes Theor. Comput. Sci. 70(4): 158-178 (2002)
2001
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaghavan Komondoor, Susan Horwitz: Tool Demonstration: Finding Duplicated Code Using Program Dependences. ESOP 2001: 383-386
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexey Loginov, Suan Hsi Yong, Susan Horwitz, Thomas W. Reps: Debugging via Run-Time Type Checking. FASE 2001: 217-232
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaghavan Komondoor, Susan Horwitz: Using Slicing to Identify Duplication in Source Code. SAS 2001: 40-56
2000
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaghavan Komondoor, Susan Horwitz: Semantics-Preserving Procedure Extraction. POPL 2000: 155-169
1999
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam G. Griswold, Susan Horwitz: Proceedings of the SIGPLAN/SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE '99, Toulouse, France, September 6, 1999 ACM 1999
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSuan Hsi Yong, Susan Horwitz, Thomas W. Reps: Pointer Analysis for Programs with Structures and Casting. PLDI 1999: 91-103
1998
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRebecca Hasti, Susan Horwitz: Using Static Single Assignment Form to Improve Flow-Insensitive Pointer Analysis. PLDI 1998: 97-105
1997
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarc Shapiro, Susan Horwitz: Fast and Accurate Flow-Insensitive Points-To Analysis. POPL 1997: 1-14
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarc Shapiro, Susan Horwitz: The Effects of the Presision of Pointer Analysis. SAS 1997: 16-34
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusan Horwitz: Precise Flow-Insensitive May-Alias Analysis is NP-Hard. ACM Trans. Program. Lang. Syst. 19(1): 1-6 (1997)
1996
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShmuel 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
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas W. Reps, Susan Horwitz, Shmuel Sagiv: Precise Interprocedural Dataflow Analysis via Graph Reachability. POPL 1995: 49-61
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusan Horwitz, Thomas W. Reps, Shmuel Sagiv: Demand Interprocedural Dataflow Analysis. SIGSOFT FSE 1995: 104-115
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShmuel Sagiv, Thomas W. Reps, Susan Horwitz: Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation. TAPSOFT 1995: 651-665
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Binkley, Susan Horwitz, Thomas W. Reps: Program Integration for Languages with Procedure Calls. ACM Trans. Softw. Eng. Methodol. 4(1): 3-35 (1995)
1994
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas W. Reps, Susan Horwitz, Shmuel Sagiv, Genevieve Rosay: Speeding up Slicing. SIGSOFT FSE 1994: 11-20
1993
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Susan Horwitz: Slicing Programs with Arbitrary Control-flow. AADEBUG 1993: 206-222
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamual Bates, Susan Horwitz: Incremental Program Testing Using Program Dependence Graphs. POPL 1993: 384-396
1992
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusan Horwitz, Thomas W. Reps: The Use of Program Dependence Graphs in Software Engineering. ICSE 1992: 392-411
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWuu 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
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusan Horwitz, Thomas W. Reps: Efficient Comparison of Program Slices. Acta Inf. 28(8): 713-732 (1991)
1990
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusan Horwitz: Identifying the Semantic and Textual Differences Between Two Versions of a Program. PLDI 1990: 234-245
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWuu Yang, Susan Horwitz, Thomas W. Reps: A program integration algorithm that accommodates semantics-preserving transformations. SDE 1990: 133-143
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusan Horwitz, Thomas W. Reps, David Binkley: Interprocedural Slicing Using Dependence Graphs. ACM Trans. Program. Lang. Syst. 12(1): 26-60 (1990)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusan Horwitz: Adding Relational Query Facilities to Software Development Environments. Theor. Comput. Sci. 73(2): 213-230 (1990)
1989
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusan Horwitz, Phil Pfeiffer, Thomas W. Reps: Dependence Analysis for Pointer Variables. PLDI 1989: 28-40
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusan Horwitz, Jan Prins, Thomas W. Reps: Integrating Noninterfering Versions of Programs. ACM Trans. Program. Lang. Syst. 11(3): 345-387 (1989)
1988
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusan Horwitz, Thomas W. Reps, David Binkley: Interprocedural slicing using dependence graphs (with retrospective) Best of PLDI 1988: 229-243
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas W. Reps, Susan Horwitz: Semantics-Based Program Integration. ESOP 1988: 1-20
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusan Horwitz: Adding Relational Query Facilities to Software Development Environments. ESOP 1988: 269-283
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusan Horwitz, Thomas W. Reps, David Binkley: Interprocedural Slicing Using Dependence Graphs. PLDI 1988: 35-46
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusan Horwitz, Jan Prins, Thomas W. Reps: Integrating Non-Interfering Versions of Programs. POPL 1988: 133-145
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusan Horwitz, Jan Prins, Thomas W. Reps: On the Adequacy of Program Dependence Graphs for Representing Programs. POPL 1988: 146-157
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas W. Reps, Susan Horwitz, Jan Prins: Support for Integrating Program Variants in an Environment for Programming in the Large. SCM 1988: 197-216
1987
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusan Horwitz, Alan J. Demers, Tim Teitelbaum: An Efficient General Iterative Algorithm for Dataflow Analysis. Acta Inf. 24(6): 679-694 (1987)
1986
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusan 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 [41]
2Thomas Ball [20]
3Samual Bates [19]
4Maureen Biggers [46]
5David Binkley [6] [9] [13] [22] [46]
6Venkatesan T. Chakaravarthy [38]
7Alan J. Demers [2]
8C. Kolin Frantz [46]
9William G. Griswold [32]
10Dawn Gundermann [46]
11Susanne E. Hambrusch [46]
12Rebecca Hasti [30]
13Steven Huss-Lederman [46]
14Raghavan Komondoor [33] [34] [36] [42]
15Sumit Kumar [39]
16Ben Liblit [47]
17Alexey Loginov [35]
18Ethan V. Munson [46]
19Phil Pfeiffer [11]
20Marina Polishchuk [47]
21Jan Prins (Jan F. Prins) [3] [4] [5] [10]
22Thomas W. Reps [3] [4] [5] [6] [8] [9] [10] [11] [13] [14] [16] [17] [18] [21] [22] [23] [24] [25] [26] [31] [35]
23Susan H. Rodger [46]
24Genevieve Rosay [21]
25Barbara G. Ryder [46]
26Shmuel Sagiv (Mooly Sagiv) [21] [23] [24] [25] [26]
27Marc Shapiro [28] [29]
28Monica Sweat [46]
29Tim Teitelbaum [1] [2]
30Wuu Yang [14] [17]
31Suan Hsi Yong [31] [35] [37] [43] [44] [45]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page