BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Zadeck:F=_Kenneth

Contributed to:

POPL 19961996
PLDI 19921992
Best of PLDI 20041990
PLDI 19901990
POPL 19891989
POPL 19881988
POPL 19861986
POPL 19851985
SCC 19841984

Wrote 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.
Global Value Numbers and Redundant Computations (BKR, MNW, FKZ), pp. 12–27.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.