The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Susan Horwitz: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  44. Using peer-led team learning to increase participation and success of under-represented groups in introductory computer science. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.304secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002