default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSusan Horwitz
Person information
- affiliation: University of Wisconsin-Madison, Madison, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2014
[j15]Min Aung, Susan Horwitz, Richard Joiner, Thomas W. Reps:
Specialization Slicing. ACM Trans. Program. Lang. Syst. 36(2): 5:1-5:67 (2014)- [c37]Min Aung, Susan Horwitz, Richard Joiner, Thomas W. Reps:
Specialization slicing. PLDI 2014: 167 - 2013
- [c36]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 - 2010
- [j14]Susan Horwitz, Ben Liblit
, Marina Polishchuk:
Better Debugging via Output Tracing and Callstack-Sensitive Slicing. IEEE Trans. Software Eng. 36(1): 7-19 (2010)
2000 – 2009
- 2009
- [c35]Susan Horwitz, Susan H. Rodger, Maureen Biggers, David W. 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
- [j13]Suan Hsi Yong, Susan Horwitz:
Using Static Analysis to Reduce Dynamic Analysis Overhead. Formal Methods Syst. Des. 27(3): 313-334 (2005) - 2004
- [c34]Suan Hsi Yong, Susan Horwitz:
Pointer-Range Analysis. SAS 2004: 133-148 - 2003
- [c33]Raghavan Komondoor, Susan Horwitz:
Effective, Automatic Procedure Extraction. IWPC 2003: 33-43 - [c32]Matthew Allen, Susan Horwitz:
Slicing java programs that throw and catch exceptions. PEPM 2003: 44-54 - [c31]Suan Hsi Yong, Susan Horwitz:
Protecting C programs from attacks via invalid pointer dereferences. ESEC / SIGSOFT FSE 2003: 307-316 - 2002
- [j12]Venkatesan T. Chakaravarthy, Susan Horwitz:
On the non-approximability of points-to analysis. Acta Informatica 38(8): 587-598 (2002) - [c30]Susan Horwitz:
Tool Support for Improving Test Coverage. ESOP 2002: 162-177 - [c29]Sumit Kumar, Susan Horwitz:
Better Slicing of Programs with Jumps and Switches. FASE 2002: 96-112 - [c28]Suan Hsi Yong, Susan Horwitz:
Reducing the Overhead of Dynamic Analysis. RV@FLoC 2002: 158-178 - 2001
- [c27]Raghavan Komondoor, Susan Horwitz:
Tool Demonstration: Finding Duplicated Code Using Program Dependences. ESOP 2001: 383-386 - [c26]Alexey Loginov, Suan Hsi Yong, Susan Horwitz, Thomas W. Reps:
Debugging via Run-Time Type Checking. FASE 2001: 217-232 - [c25]Raghavan Komondoor, Susan Horwitz:
Using Slicing to Identify Duplication in Source Code. SAS 2001: 40-56 - 2000
- [j11]Susan Horwitz:
Debugging via run-time type checking. ACM SIGSOFT Softw. Eng. Notes 25(1): 58 (2000) - [c24]Raghavan Komondoor, Susan Horwitz:
Semantics-Preserving Procedure Extraction. POPL 2000: 155-169
1990 – 1999
- 1999
- [c23]Suan Hsi Yong, Susan Horwitz, Thomas W. Reps:
Pointer Analysis for Programs with Structures and Casting. PLDI 1999: 91-103 - [e1]William 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, ISBN 1-58113-137-2 [contents] - 1998
- [c22]Rebecca Hasti, Susan Horwitz:
Using Static Single Assignment Form to Improve Flow-Insensitive Pointer Analysis. PLDI 1998: 97-105 - 1997
- [j10]Susan Horwitz:
Precise Flow-Insensitive May-Alias Analysis is NP-Hard. ACM Trans. Program. Lang. Syst. 19(1): 1-6 (1997) - [c21]Marc Shapiro, Susan Horwitz:
Fast and Accurate Flow-Insensitive Points-To Analysis. POPL 1997: 1-14 - [c20]Marc Shapiro, Susan Horwitz:
The Effects of the Precision of Pointer Analysis. SAS 1997: 16-34 - 1996
- [j9]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
- [j8]David W. Binkley, Susan Horwitz, Thomas W. Reps:
Program Integration for Languages with Procedure Calls. ACM Trans. Softw. Eng. Methodol. 4(1): 3-35 (1995) - [c19]Thomas W. Reps, Susan Horwitz, Shmuel Sagiv:
Precise Interprocedural Dataflow Analysis via Graph Reachability. POPL 1995: 49-61 - [c18]Susan Horwitz, Thomas W. Reps, Shmuel Sagiv:
Demand Interprocedural Dataflow Analysis. SIGSOFT FSE 1995: 104-115 - [c17]Shmuel Sagiv, Thomas W. Reps, Susan Horwitz:
Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation. TAPSOFT 1995: 651-665 - 1994
- [c16]Thomas W. Reps, Susan Horwitz, Shmuel Sagiv, Genevieve Rosay:
Speeding up Slicing. SIGSOFT FSE 1994: 11-20 - 1993
- [c15]Thomas Ball, Susan Horwitz:
Slicing Programs with Arbitrary Control-flow. AADEBUG 1993: 206-222 - [c14]Samual Bates, Susan Horwitz:
Incremental Program Testing Using Program Dependence Graphs. POPL 1993: 384-396 - 1992
- [j7]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) - [c13]Susan Horwitz, Thomas W. Reps:
The Use of Program Dependence Graphs in Software Engineering. ICSE 1992: 392-411 - 1991
- [j6]Susan Horwitz, Thomas W. Reps:
Efficient Comparison of Program Slices. Acta Informatica 28(8): 713-732 (1991) - 1990
- [j5]Susan Horwitz:
Adding Relational Query Facilities to Software Development Environments. Theor. Comput. Sci. 73(2): 213-230 (1990) - [j4]Susan Horwitz, Thomas W. Reps, David W. Binkley:
Interprocedural Slicing Using Dependence Graphs. ACM Trans. Program. Lang. Syst. 12(1): 26-60 (1990) - [c12]Susan Horwitz:
Identifying the Semantic and Textual Differences Between Two Versions of a Program. PLDI 1990: 234-245 - [c11]Wuu Yang, Susan Horwitz, Thomas W. Reps:
A program integration algorithm that accommodates semantics-preserving transformations. SDE 1990: 133-143
1980 – 1989
- 1989
- [j3]Susan Horwitz, Jan F. Prins, Thomas W. Reps:
Integrating Noninterfering Versions of Programs. ACM Trans. Program. Lang. Syst. 11(3): 345-387 (1989) - [c10]Susan Horwitz, Phil Pfeiffer, Thomas W. Reps:
Dependence Analysis for Pointer Variables. PLDI 1989: 28-40 - 1988
- [c9]Thomas W. Reps, Susan Horwitz:
Semantics-Based Program Integration. ESOP 1988: 1-20 - [c8]Susan Horwitz:
Adding Relational Query Facilities to Software Development Environments. ESOP 1988: 269-283 - [c7]Susan Horwitz, Thomas W. Reps, David W. Binkley:
Interprocedural Slicing Using Dependence Graphs. PLDI 1988: 35-46 - [c6]Susan Horwitz, Thomas W. Reps, David W. Binkley:
Interprocedural slicing using dependence graphs (with retrospective). Best of PLDI 1988: 229-243 - [c5]Susan Horwitz, Jan F. Prins, Thomas W. Reps:
Integrating Non-Interfering Versions of Programs. POPL 1988: 133-145 - [c4]Susan Horwitz, Jan F. Prins, Thomas W. Reps:
On the Adequacy of Program Dependence Graphs for Representing Programs. POPL 1988: 146-157 - [c3]Thomas W. Reps, Susan Horwitz, Jan F. Prins:
Support for Integrating Program Variants in an Environment for Programming in the Large. SCM 1988: 197-216 - 1987
- [j2]Susan Horwitz, Alan J. Demers, Tim Teitelbaum:
An Efficient General Iterative Algorithm for Dataflow Analysis. Acta Informatica 24(6): 679-694 (1987) - 1986
- [j1]Susan Horwitz, Tim Teitelbaum:
Generating Editing Environments Based on Relations and Attributes. ACM Trans. Program. Lang. Syst. 8(4): 577-608 (1986) - 1985
- [c2]Susan Horwitz, Tim Teitelbaum:
Relations and attributes: A symbiotic basis for editing environments. SLIPE 1985: 93-106 - 1981
- [c1]Tim Teitelbaum, Thomas W. Reps, Susan Horwitz:
The why and wherefore of the Cornell Program Synthesizer. SIGPLAN SIGOA Symposium on Text Manipulation 1981: 8-16
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-10 20:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
