The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

F. Kenneth Zadeck: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.034secs, Finished in 0.035secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002