☰

Susan Horwitz - Publications

Affiliations: 
University of Wisconsin, Madison, Madison, WI 
Area:
Computer Science
Tree Info Similar researchers PubMed Report error

26 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2014 Aung M, Horwitz S, Joiner R, Reps T. Specialization Slicing Acm Transactions On Programming Languages and Systems. 36. DOI: 10.1145/2566620  0.445
2010 Horwitz S, Liblit B, Polishchuk M. Better Debugging via Output Tracing and Callstack-Sensitive Slicing Ieee Transactions On Software Engineering. 36: 7-19. DOI: 10.1109/Tse.2009.66  0.448
2005 Yong SH, Horwitz S. Using static analysis to reduce dynamic analysis overhead Formal Methods in System Design. 27: 313-334. DOI: 10.1007/s10703-005-3401-0  0.686
2004 Horwitz S, Reps T, Binkley D. Interprocedural slicing using dependence graphs Acm Sigplan Notices. 39: 232-243. DOI: 10.1145/77606.77608  0.408
2004 Yong SH, Horwitz S. Pointer-range analysis Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3148: 133-148.  0.648
2003 Yong SH, Horwitz S. Protecting C Programs from Attacks via Invalid Pointer Dereferences Proceedings of the Joint European Software Engineering Conference (Esec) and Sigsoft Symposium On the Foundations of Software Engineering (Fse-11). 307-316. DOI: 10.1145/940071.940113  0.657
2003 Yong SH, Horwitz S. Protecting C Programs from Attacks via Invalid Pointer Dereferences Proceedings of the Joint European Software Engineering Conference (Esec) and Sigsoft Symposium On the Foundations of Software Engineering (Fse-11). 307-316.  0.39
2003 Allen M, Horwitz S. Slicing Java programs that throw and catch exceptions Proceedings of the Acm Sigplan Symposium On Partial Evaluation and Semantics-Based Program Manipulation. 44-54.  0.393
2002 Yong SH, Horwitz S. Reducing the overhead of dynamic analysis Electronic Notes in Theoretical Computer Science. 70: 165-185. DOI: 10.1016/S1571-0661(04)80583-8  0.682
2002 Chakaravarthy VT, Horwitz S. On the non-approximability of points-to analysis Acta Informatica. 38: 587-598. DOI: 10.1007/S00236-002-0081-8  0.404
2002 Kumar S, Horwitz S. Better slicing of programs with jumps and switches Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2306: 96-112. DOI: 10.1007/3-540-45923-5_7  0.412
2001 Komondoor R, Horwitz S. Tool demonstration: Finding duplicated code using program dependences Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2028: 383-386.  0.385
2001 Komondoor R, Horwitz S. Using slicing to identify duplication in source code Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2126: 40-56.  0.407
2000 Horwitz S. Debugging via run-time type checking Acm Sigsoft Software Engineering Notes. 25: 58. DOI: 10.1145/340855.340960  0.461
1996 Sagiv M, Reps T, Horwitz S. Precise interprocedural dataflow analysis with applications to constant propagation Theoretical Computer Science. 167: 131-170. DOI: 10.1016/0304-3975(96)00072-2  0.481
1996 Sagiv M, Reps T, Horwitz S. Precise interprocedural dataflow analysis with applications to constant propagation Theoretical Computer Science. 167: 131-170.  0.35
1995 Binkley D, Horwitz S, Reps T. Program Integration for Languages with Procedure Calls Acm Transactions On Software Engineering and Methodology (Tosem). 4: 3-35. DOI: 10.1145/201055.201056  0.47
1992 Yang W, Horwitz S, Reps T. A Program Integration Algorithm that Accommodates Semantics-Preserving Transformations Acm Transactions On Software Engineering and Methodology (Tosem). 1: 310-354. DOI: 10.1145/131736.131756  0.446
1991 Horwitz S, Reps T. Efficient comparison of program slices Acta Informatica. 28: 713-732. DOI: 10.1007/Bf01261653  0.496
1990 Yang W, Horwitz S, Reps T. A program integration algorithm that accommodates semantics-preserving transformations Acm Sigsoft Software Engineering Notes. 15: 133-143. DOI: 10.1145/99278.99290  0.447
1990 Horwitz S. Identifying the Semantic and Textual Differences Between Two Versions of a Program Acm Sigplan Notices. 25: 234-245. DOI: 10.1145/93548.93574  0.401
1989 Horwitz S, Pfeiffer P, Reps T. Dependence Analysis for Pointer Variables Acm Sigplan Notices. 24: 28-40. DOI: 10.1145/74818.74821  0.399
1989 Horwitz S, Prins J, Reps T. Integrating Noninterfering Versions of Programs Acm Transactions On Programming Languages and Systems (Toplas). 11: 345-387. DOI: 10.1145/65979.65980  0.491
1988 Horwitz S, Reps T, Binkley D. Interprocedural Slicing Using Dependence Graphs Acm Sigplan Notices. 23: 35-46. DOI: 10.1145/960116.53994  0.309
1986 Horwitz S, Teitelbaum T. Generating editing environments based on relations and attributes Acm Transactions On Programming Languages and Systems (Toplas). 8: 577-608. DOI: 10.1145/6465.6512  0.378
1981 Teitelbaum T, Reps T, Horwitz S. The why and wherefore of the Cornell Program Synthesizer Acm Sigplan Notices. 16: 8-16. DOI: 10.1145/872730.806448  0.359
Show low-probability matches.