F. Kenneth Zadeck
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
3
Active years
1985–1996
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1996 | POPL | Generating Machine Specific Optimizing Compilers. | Roger Hoover, F. Kenneth Zadeck |
| 1992 | PLDI | How to Analyze Large Programs Efficiently and Informatively. | Dhananjay M. Dhamdhere, Barry K. Rosen, F. Kenneth Zadeck |
| 1990 | PLDI | Analysis of Pointers and Structures. | David R. Chase, Mark N. Wegman, F. Kenneth Zadeck |
| 1990 | PLDI | Analysis of pointers and structures (with retrospective) | David R. Chase, Mark N. Wegman, F. Kenneth Zadeck |
| 1990 | SODA | Incremental Evaluation of Computational Circuits. | Bowen Alpern, Roger Hoover, Barry K. Rosen, Peter F. Sweeney, F. Kenneth Zadeck |
| 1989 | POPL | An Efficient Method of Computing Static Single Assignment Form. | Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck |
| 1988 | POPL | Detecting Equality of Variables in Programs. | Bowen Alpern, Mark N. Wegman, F. Kenneth Zadeck |
| 1988 | POPL | Global Value Numbers and Redundant Computations. | Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck |
| 1986 | POPL | Code Motion of Control Structures in High-Level Languages. | Ron Cytron, Andy Lowry, F. Kenneth Zadeck |
| 1985 | POPL | Constant Propagation with Conditional Branches. | Mark N. Wegman, F. Kenneth Zadeck |