Susan Horwitz

Joanne McGrath Cohoon, James P. Cohoon, Seth Reichelson, Susan Horwitz, Laura Reasoner Jones: Pedagogy for engaging diverse students in computing: four effective methods (abstract only). SIGCSE 2013: 762

Susan Horwitz, Ben Liblit, Marina Polishchuk: Better Debugging via Output Tracing and Callstack-Sensitive Slicing. IEEE Trans. Software Eng. 36(1): 7-19 (2010)

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

Suan Hsi Yong, Susan Horwitz: Using Static Analysis to Reduce Dynamic Analysis Overhead. Formal Methods in System Design 27(3): 313-334 (2005)

Suan Hsi Yong, Susan Horwitz: Pointer-Range Analysis. SAS 2004: 133-148

Raghavan Komondoor, Susan Horwitz: Effective, Automatic Procedure Extraction. IWPC 2003: 33-

Matthew Allen, Susan Horwitz: Slicing java programs that throw and catch exceptions. PEPM 2003: 44-54

Suan Hsi Yong, Susan Horwitz: Protecting C programs from attacks via invalid pointer dereferences. ESEC / SIGSOFT FSE 2003: 307-316

Venkatesan T. Chakaravarthy, Susan Horwitz: On the non-approximability of points-to analysis. Acta Inf. 38(8): 587-598 (2002)

Suan Hsi Yong, Susan Horwitz: Reducing the Overhead of Dynamic Analysis. Electr. Notes Theor. Comput. Sci. 70(4): 158-178 (2002)

Susan Horwitz: Tool Support for Improving Test Coverage. ESOP 2002: 162-177

Sumit Kumar, Susan Horwitz: Better Slicing of Programs with Jumps and Switches. FASE 2002: 96-112

Raghavan Komondoor, Susan Horwitz: Tool Demonstration: Finding Duplicated Code Using Program Dependences. ESOP 2001: 383-386

Alexey Loginov, Suan Hsi Yong, Susan Horwitz, Thomas W. Reps: Debugging via Run-Time Type Checking. FASE 2001: 217-232

Raghavan Komondoor, Susan Horwitz: Using Slicing to Identify Duplication in Source Code. SAS 2001: 40-56

Susan Horwitz: Debugging via run-time type checking. ACM SIGSOFT Software Engineering Notes 25(1): 58 (2000)

Raghavan Komondoor, Susan Horwitz: Semantics-Preserving Procedure Extraction. POPL 2000: 155-169

Suan Hsi Yong, Susan Horwitz, Thomas W. Reps: Pointer Analysis for Programs with Structures and Casting. PLDI 1999: 91-103

William G. Griswold, Susan Horwitz (Eds.): Proceedings of the SIGPLAN/SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE '99, Toulouse, France, September 6, 1999. ACM 1999, isbn 1-58113-137-2

Rebecca Hasti, Susan Horwitz: Using Static Single Assignment Form to Improve Flow-Insensitive Pointer Analysis. PLDI 1998: 97-105

Susan Horwitz: Precise Flow-Insensitive May-Alias Analysis is NP-Hard. ACM Trans. Program. Lang. Syst. 19(1): 1-6 (1997)

Marc Shapiro, Susan Horwitz: Fast and Accurate Flow-Insensitive Points-To Analysis. POPL 1997: 1-14

Marc Shapiro, Susan Horwitz: The Effects of the Precision of Pointer Analysis. SAS 1997: 16-34

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)

David Binkley, Susan Horwitz, Thomas W. Reps: Program Integration for Languages with Procedure Calls. ACM Trans. Softw. Eng. Methodol. 4(1): 3-35 (1995)

Thomas W. Reps, Susan Horwitz, Shmuel Sagiv: Precise Interprocedural Dataflow Analysis via Graph Reachability. POPL 1995: 49-61

Susan Horwitz, Thomas W. Reps, Shmuel Sagiv: Demand Interprocedural Dataflow Analysis. SIGSOFT FSE 1995: 104-115

Shmuel Sagiv, Thomas W. Reps, Susan Horwitz: Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation. TAPSOFT 1995: 651-665

Thomas W. Reps, Susan Horwitz, Shmuel Sagiv, Genevieve Rosay: Speeding up Slicing. SIGSOFT FSE 1994: 11-20

Thomas Ball, Susan Horwitz: Slicing Programs with Arbitrary Control-flow. AADEBUG 1993: 206-222

Samual Bates, Susan Horwitz: Incremental Program Testing Using Program Dependence Graphs. POPL 1993: 384-396

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)

Susan Horwitz, Thomas W. Reps: The Use of Program Dependence Graphs in Software Engineering. ICSE 1992: 392-411

Susan Horwitz, Thomas W. Reps: Efficient Comparison of Program Slices. Acta Inf. 28(8): 713-732 (1991)

Susan Horwitz: Adding Relational Query Facilities to Software Development Environments. Theor. Comput. Sci. 73(2): 213-230 (1990)

Susan Horwitz, Thomas W. Reps, David Binkley: Interprocedural Slicing Using Dependence Graphs. ACM Trans. Program. Lang. Syst. 12(1): 26-60 (1990)

Susan Horwitz: Identifying the Semantic and Textual Differences Between Two Versions of a Program. PLDI 1990: 234-245

Wuu Yang, Susan Horwitz, Thomas W. Reps: A program integration algorithm that accommodates semantics-preserving transformations. SDE 1990: 133-143

Susan Horwitz, Jan Prins, Thomas W. Reps: Integrating Noninterfering Versions of Programs. ACM Trans. Program. Lang. Syst. 11(3): 345-387 (1989)

Susan Horwitz, Phil Pfeiffer, Thomas W. Reps: Dependence Analysis for Pointer Variables. PLDI 1989: 28-40

Thomas W. Reps, Susan Horwitz: Semantics-Based Program Integration. ESOP 1988: 1-20

Susan Horwitz: Adding Relational Query Facilities to Software Development Environments. ESOP 1988: 269-283

Susan Horwitz, Thomas W. Reps, David Binkley: Interprocedural Slicing Using Dependence Graphs. PLDI 1988: 35-46

Susan Horwitz, Thomas W. Reps, David Binkley: Interprocedural slicing using dependence graphs (with retrospective). Best of PLDI 1988: 229-243

Susan Horwitz, Jan Prins, Thomas W. Reps: Integrating Non-Interfering Versions of Programs. POPL 1988: 133-145

Susan Horwitz, Jan Prins, Thomas W. Reps: On the Adequacy of Program Dependence Graphs for Representing Programs. POPL 1988: 146-157

Thomas W. Reps, Susan Horwitz, Jan Prins: Support for Integrating Program Variants in an Environment for Programming in the Large. SCM 1988: 197-216

Susan Horwitz, Alan J. Demers, Tim Teitelbaum: An Efficient General Iterative Algorithm for Dataflow Analysis. Acta Inf. 24(6): 679-694 (1987)

Susan Horwitz, Tim Teitelbaum: Generating Editing Environments Based on Relations and Attributes. ACM Trans. Program. Lang. Syst. 8(4): 577-608 (1986)