Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
F. Kenneth Zadeck
1990 – 1999
- 1996
[c12]Roger Hoover, F. Kenneth Zadeck: Generating Machine Specific Optimizing Compilers. POPL 1996: 219-229- 1992
- [c11]Dhananjay M. Dhamdhere, Barry K. Rosen, F. Kenneth Zadeck: How to Analyze Large Programs Efficiently and Informatively. PLDI 1992: 212-223
- 1991
- [j2]Mark N. Wegman, F. Kenneth Zadeck: Constant Propagation with Conditional Branches. ACM Trans. Program. Lang. Syst. 13(2): 181-210 (1991)
- [j1]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): 451-490 (1991)
- 1990
- [c10]David R. Chase, Mark N. Wegman, F. Kenneth Zadeck: Analysis of Pointers and Structures. PLDI 1990: 296-310
- [c9]David R. Chase, Mark N. Wegman, F. Kenneth Zadeck: Analysis of pointers and structures (with retrospective). Best of PLDI 1990: 343-359
- [c8]Bowen Alpern, Roger Hoover, Barry K. Rosen, Peter F. Sweeney, F. Kenneth Zadeck: Incremental Evaluation of Computational Circuits. SODA 1990: 32-42
1980 – 1989
- 1989
- [c7]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
- [c6]Bowen Alpern, Mark N. Wegman, F. Kenneth Zadeck: Detecting Equality of Variables in Programs. POPL 1988: 1-11
- [c5]Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck: Global Value Numbers and Redundant Computations. POPL 1988: 12-27
- [c4]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
- [c3]Ron Cytron, Andy Lowry, F. Kenneth Zadeck: Code Motion of Control Structures in High-Level Languages. POPL 1986: 70-85
- 1985
- [c2]Mark N. Wegman, F. Kenneth Zadeck: Constant Propagation with Conditional Branches. POPL 1985: 291-299
- 1984
- [c1]F. Kenneth Zadeck: Incremental data flow analysis in a structured program editor. SIGPLAN Symposium on Compiler Construction 1984: 132-143
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-08 21:04 CET by the dblp team