dblp.uni-trier.dewww.uni-trier.de

F. Kenneth Zadeck

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1996
14EERoger Hoover, F. Kenneth Zadeck: Generating Machine Specific Optimizing Compilers. POPL 1996: 219-229
1992
13 Dhananjay M. Dhamdhere, Barry K. Rosen, F. Kenneth Zadeck: How to Analyze Large Programs Efficiently and Informatively. PLDI 1992: 212-223
1991
12EEMark N. Wegman, F. Kenneth Zadeck: Constant Propagation with Conditional Branches. ACM Trans. Program. Lang. Syst. 13(2): 181-210 (1991)
11EERon 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): 451-490 (1991)
1990
10EEDavid R. Chase, Mark N. Wegman, F. Kenneth Zadeck: Analysis of pointers and structures (with retrospective) Best of PLDI 1990: 343-359
9 David R. Chase, Mark N. Wegman, F. Kenneth Zadeck: Analysis of Pointers and Structures. PLDI 1990: 296-310
8 Bowen Alpern, Roger Hoover, Barry K. Rosen, Peter F. Sweeney, F. Kenneth Zadeck: Incremental Evaluation of Computational Circuits. SODA 1990: 32-42
1989
7 Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck: An Efficient Method of Computing Static Single Assignment Form. POPL 1989: 25-35
1988
6 Bowen Alpern, Mark N. Wegman, F. Kenneth Zadeck: Detecting Equality of Variables in Programs. POPL 1988: 1-11
5 Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck: Global Value Numbers and Redundant Computations. POPL 1988: 12-27
4 Bowen Alpern, Alan Carle, Barry K. Rosen, Peter F. Sweeney, F. Kenneth Zadeck: Graph Attribution as a Specification Paradigm. Software Development Environments (SDE) 1988: 121-129
1986
3 Ron Cytron, Andy Lowry, F. Kenneth Zadeck: Code Motion of Control Structures in High-Level Languages. POPL 1986: 70-85
1985
2 Mark N. Wegman, F. Kenneth Zadeck: Constant Propagation with Conditional Branches. POPL 1985: 291-299
1984
1EEF. Kenneth Zadeck: Incremental data flow analysis in a structured program editor. SIGPLAN Symposium on Compiler Construction 1984: 132-143

Coauthor Index

1Bowen Alpern [4] [6] [8]
2Alan Carle [4]
3David R. Chase [9] [10]
4Ron Cytron (Ron K. Cytron) [3] [7] [11]
5Dhananjay M. Dhamdhere [13]
6Jeanne Ferrante [7] [11]
7Roger Hoover [8] [14]
8Andy Lowry [3]
9Barry K. Rosen [4] [5] [7] [8] [11] [13]
10Peter F. Sweeney [4] [8]
11Mark N. Wegman [2] [5] [6] [7] [9] [10] [11] [12]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)