F. Kenneth Zadeck

According to our database, F. Kenneth Zadeck authored at least 15 papers between 1984 and 1996.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

1996

Generating Machine Specific Optimizing Compilers.

Roger Hoover, F. Kenneth Zadeck

Proceedings of the Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1996

1994

State-of-the-art compiler optimization.

F. Kenneth Zadeck

Proceedings of the 7th International Symposium on High Level Synthesis, 1994

1992

How to Analyze Large Programs Efficiently and Informatively.

Dhananjay M. Dhamdhere, Barry K. Rosen, F. Kenneth Zadeck

Proceedings of the ACM SIGPLAN'92 Conference on Programming Language Design and Implementation (PLDI), 1992

1991

Constant Propagation with Conditional Branches.

Mark N. Wegman, F. Kenneth Zadeck

ACM Trans. Program. Lang. Syst., 1991

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

1990

Incremental Evaluation of Computational Circuits.

Bowen Alpern, Roger Hoover, Barry K. Rosen, Peter F. Sweeney, F. Kenneth Zadeck

Proceedings of the First Annual ACM-SIAM Symposium on Discrete Algorithms, 1990

Analysis of pointers and structures (with retrospective)

David R. Chase, Mark N. Wegman, F. Kenneth Zadeck

Proceedings of the 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, 1990

Analysis of Pointers and Structures.

David R. Chase, Mark N. Wegman, F. Kenneth Zadeck

Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation (PLDI), 1990

1989

An Efficient Method of Computing Static Single Assignment Form.

Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck

Proceedings of the Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, 1989

1988

Graph Attribution as a Specification Paradigm.

Bowen Alpern, Alan Carle, Barry K. Rosen, Peter F. Sweeney, F. Kenneth Zadeck

Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1988

Global Value Numbers and Redundant Computations.

Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck

Proceedings of the Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, 1988

Detecting Equality of Variables in Programs.

Bowen Alpern, Mark N. Wegman, F. Kenneth Zadeck

Proceedings of the Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, 1988

1986

Code Motion of Control Structures in High-Level Languages.

Ron Cytron, Andy Lowry, F. Kenneth Zadeck

Proceedings of the Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, 1986

1985

Attribute propagation by message passing.

Alan J. Demers, Anne Rogers, Frank Kenneth Zadeck

Proceedings of the ACM SIGPLAN 85 Symposium on Language Issues in Programming Environments, 1985

1984

Incremental data flow analysis in a structured program editor.

F. Kenneth Zadeck

Proceedings of the 1984 SIGPLAN Symposium on Compiler Construction, 1984