| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 1997 | — | book |
Advanced Compiler Design and Implementation
|
| 1988 | — | conf |
COMPCON
|
| 1988 | — | conf |
COMPCON
|
| 1986 | J | jnl |
Softw. Pract. Exp.
|
| 1986 | — | conf |
Best of PLDI
|
| 1986 | — | conf |
SIGPLAN Symposium on Compiler Construction
|
| 1986 | — | conf |
Advanced Programming Environments
|
| 1982 | — | conf |
Symposium on LISP and Functional Programming
|
| 1982 | A* | conf |
POPL
|
| 1981 | — | book |
Program flow analysis - theory and applications.
|
| 1980 | — | conf |
LISP Conference
|
| 1980 | A* | conf |
FOCS
|
| 1979 | A* | conf |
POPL
|
| 1978 | — | book |
|
| 1978 | J | jnl |
J. ACM
|
| 1977 | J | jnl |
J. ACM
|
| 1976 | A* | conf |
POPL
|
| 1976 | J | jnl |
SIAM J. Comput.
|
| 1976 | — | conf |
ACM Annual Conference
|
| 1976 | J | jnl |
Math. Log. Q.
|
| 1976 | — | conf |
ACM Annual Conference
|
| 1975 | A* | conf |
POPL
|
| 1974 | — | — |
Structure and Complexity in Subrecursive Computation.
|
| 1972 | A* | conf |
STOC
|
| 1972 | J | jnl |
J. Comput. Syst. Sci.
|