Incremental data flow analysis in a structured program editor. - F. Kenneth Zadeck (SIGPLAN Symposium on Compiler Construction, 1984)

Attribute propagation by message passing. - Alan J. Demers; Anne Rogers; Frank Kenneth Zadeck (SLIPE, 1985)

Code Motion of Control Structures in High-Level Languages. - Ron Cytron; Andy Lowry; F. Kenneth Zadeck (POPL, 1986)

Detecting Equality of Variables in Programs. - Bowen Alpern; Mark N. Wegman; F. Kenneth Zadeck (POPL, 1988)

Global Value Numbers and Redundant Computations. - Barry K. Rosen; Mark N. Wegman; F. Kenneth Zadeck (POPL, 1988)

Graph Attribution as a Specification Paradigm. - Bowen Alpern; Alan Carle; Barry K. Rosen; Peter F. Sweeney; F. Kenneth Zadeck (Software Development Environments (SDE), 1988)

An Efficient Method of Computing Static Single Assignment Form. - Ron Cytron; Jeanne Ferrante; Barry K. Rosen; Mark N. Wegman; F. Kenneth Zadeck (POPL, 1989)

Analysis of Pointers and Structures. - David R. Chase; Mark N. Wegman; F. Kenneth Zadeck (PLDI, 1990)

Analysis of pointers and structures (with retrospective) - David R. Chase; Mark N. Wegman; F. Kenneth Zadeck (Best of PLDI, 1990)

Incremental Evaluation of Computational Circuits. - Bowen Alpern; Roger Hoover; Barry K. Rosen; Peter F. Sweeney; F. Kenneth Zadeck (SODA, 1990)

Efficiently Computing Static Single Assignment Form and the Control Dependence Graph. - Ron Cytron; Jeanne Ferrante; Barry K. Rosen; Mark N. Wegman; F. Kenneth Zadeck (ACM Trans. Program. Lang. Syst., 1991)

Constant Propagation with Conditional Branches. - Mark N. Wegman; F. Kenneth Zadeck (ACM Trans. Program. Lang. Syst., 1991)

How to Analyze Large Programs Efficiently and Informatively. - Dhananjay M. Dhamdhere; Barry K. Rosen; F. Kenneth Zadeck (PLDI, 1992)

State-of-the-art compiler optimization. - F. Kenneth Zadeck (HLSS, 1994)

Generating Machine Specific Optimizing Compilers. - Roger Hoover; F. Kenneth Zadeck (POPL, 1996)