J. Michael Ashley

The effectiveness of flow analysis for inlining

J. Michael Ashley, 1997, ICFP '97.

A practical and flexible flow analysis for higher-order languages

J. Michael Ashley, J. M. Ashley, R. Dybvig, 1998, TOPL.

An efficient implementation of multiple return values in Scheme

R. Kent Dybvig, J. Michael Ashley, 1994, LFP '94.

Compiler Construction Using Scheme

R. Kent Dybvig, Daniel P. Friedman, J. Michael Ashley, 1995, FPLE.

Fixpoint computation for polyvariant static analyses of higher-order applicative programs

Charles Consel, J. Michael Ashley, C. Consel, 1994, TOPL.

Metaobject protocols: why we want them and what else they can do

Daniel G. Bobrow, Amin Vahdat, Gregor Kiczales, 1993 .

Visualizing the performance of higher-order programs

Oscar Waddell, J. Michael Ashley, Oscar Waddell, 1998, PASTE '98.