Travelled to:1 × Canada
7 × USA
Collaborated with:M.N.Wegman B.K.Rosen D.R.Chase R.Cytron R.Hoover ∅ D.M.Dhamdhere B.Alpern A.Lowry J.Ferrante
Talks about:structur (4) program (3) analysi (3) pointer (2) effici (2) comput (2) retrospect (1) increment (1) constant (1) variabl (1)
Person: F. Kenneth Zadeck
DBLP: Zadeck:F=_Kenneth
Contributed to:
1996
19921990199019891988198619851984Wrote 10 papers:
- POPL-1996-HooverZ #compilation #generative #optimisation
- Generating Machine Specific Optimizing Compilers (RH, FKZ), pp. 219–229.
- PLDI-1992-DhamdhereRZ #how #scalability #source code
- How to Analyze Large Programs Efficiently and Informatively (DMD, BKR, FKZ), pp. 212–223.
- Best-of-PLDI-1990-ChaseWZ90a #analysis #pointer
- Analysis of pointers and structures (with retrospective) (DRC, MNW, FKZ), pp. 343–359.
- PLDI-1990-ChaseWZ #analysis #pointer
- Analysis of Pointers and Structures (DRC, MNW, FKZ), pp. 296–310.
- POPL-1989-CytronFRWZ #performance
- An Efficient Method of Computing Static Single Assignment Form (RC, JF, BKR, MNW, FKZ), pp. 25–35.
- POPL-1988-AlpernWZ #detection #similarity #source code
- Detecting Equality of Variables in Programs (BA, MNW, FKZ), pp. 1–11.
- POPL-1988-RosenWZ
- Global Value Numbers and Redundant Computations (BKR, MNW, FKZ), pp. 12–27.
- POPL-1986-CytronLZ
- Code Motion of Control Structures in High-Level Languages (RC, AL, FKZ), pp. 70–85.
- POPL-1985-WegmanZ #branch #constant
- Constant Propagation with Conditional Branches (MNW, FKZ), pp. 291–299.
- SCC-1984-Zadeck #analysis #data flow #editing #incremental
- Incremental data flow analysis in a structured program editor (FKZ), pp. 132–143.