| 1996 |
|---|
| 14 | EE | Roger 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 |
|---|
| 12 | EE | Mark N. Wegman,
F. Kenneth Zadeck:
Constant Propagation with Conditional Branches.
ACM Trans. Program. Lang. Syst. 13(2): 181-210 (1991) |
| 11 | EE | 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 |
|---|
| 10 | EE | David 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 |
|---|
| 1 | EE | F. Kenneth Zadeck:
Incremental data flow analysis in a structured program editor.
SIGPLAN Symposium on Compiler Construction 1984: 132-143 |
