Susan Horwitz

Available identifiers

zbMath Open horwitz.susanDBLPh/SusanHorwitzWikidataQ16729921 ScholiaQ16729921MaRDI QIDQ671680

List of research outcomes

Publication	Date of Publication	Type
Precise interprocedural dataflow analysis with applications to constant propagation	2022-08-18	Paper
Semantics-preserving procedure extraction	2015-03-17	Paper
Using static analysis to reduce dynamic analysis overhead	2006-01-23	Paper
Static Analysis	2005-08-24	Paper
https://portal.mardi4nfdi.de/entity/Q4738353	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4738315	2004-08-11	Paper
On the non-approximability of points-to analysis	2003-09-01	Paper
https://portal.mardi4nfdi.de/entity/Q4778695	2002-11-19	Paper
https://portal.mardi4nfdi.de/entity/Q2764121	2002-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q2763685	2002-01-21	Paper
Precise interprocedural dataflow analysis with applications to constant propagation	1997-02-27	Paper
Efficient comparison of program slices	1991-01-01	Paper
Adding relational query facilities to software development environments	1990-01-01	Paper
An efficient general iterative algorithm for dataflow analysis	1987-01-01	Paper

Research outcomes over time

This page was built for person: Susan Horwitz