F. Kenneth Zadeck

15 papers A* 9Journal 2Unranked 4
YearRankTypeTitle / Venue / Authors
1996 A* conf
Generating Machine Specific Optimizing Compilers.
POPL
Roger Hoover, F. Kenneth Zadeck
1994 — conf
State-of-the-art compiler optimization.
HLSS
F. Kenneth Zadeck
1992 A* conf
How to Analyze Large Programs Efficiently and Informatively.
PLDI
Dhananjay M. Dhamdhere, Barry K. Rosen, F. Kenneth Zadeck
1991 J jnl
Constant Propagation with Conditional Branches.
ACM Trans. Program. Lang. Syst.
Mark N. Wegman, F. Kenneth Zadeck
1991 J jnl
Efficiently Computing Static Single Assignment Form and the Control Dependence Graph.
ACM Trans. Program. Lang. Syst.
Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck
1990 A* conf
Analysis of Pointers and Structures.
PLDI
David R. Chase, Mark N. Wegman, F. Kenneth Zadeck
1990 — conf
Analysis of pointers and structures (with retrospective)
Best of PLDI
David R. Chase, Mark N. Wegman, F. Kenneth Zadeck
1990 A* conf
Incremental Evaluation of Computational Circuits.
SODA
Bowen Alpern, Roger Hoover, Barry K. Rosen, Peter F. Sweeney, F. Kenneth Zadeck
1989 A* conf
An Efficient Method of Computing Static Single Assignment Form.
POPL
Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck
1988 A* conf
Detecting Equality of Variables in Programs.
POPL
Bowen Alpern, Mark N. Wegman, F. Kenneth Zadeck
1988 A* conf
Global Value Numbers and Redundant Computations.
POPL
Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck
1988 — conf
Graph Attribution as a Specification Paradigm.
Software Development Environments (SDE)
Bowen Alpern, Alan Carle, Barry K. Rosen, Peter F. Sweeney, F. Kenneth Zadeck
1986 A* conf
Code Motion of Control Structures in High-Level Languages.
POPL
Ron Cytron, Andy Lowry, F. Kenneth Zadeck
1985 A* conf
Constant Propagation with Conditional Branches.
POPL
Mark N. Wegman, F. Kenneth Zadeck
1984 — conf
Incremental data flow analysis in a structured program editor.
SIGPLAN Symposium on Compiler Construction
F. Kenneth Zadeck