F. Kenneth Zadeck

Publication Activity (10 Years)

Years Active: 1984-1996
Publications (10 Years): 0

Publications

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