Publications

The Association for Computing Machinery holds the copyright for their publications listed here.

• J. Michael Ashley and R. Kent Dybvig. A Practical and Flexible Flow Analysis for Higher-Order Languages, ACM Transactions on Programming Languages and Systems, 20, 4, 845-868, July 1998.
• Oscar Waddell and J. Michael Ashley. Visualizing the Performance of Higher-Order Programs, Proceedings of the 1998 Workshop on Program Analysis for Software Tools and Engineering, pp. 75-83.
• J. Michael Ashley and John Hatcliff. Collecting Interpreters Yield Constraint-Based Analyses, DesignLab Technical Report 1997-04.
• J. Michael Ashley. The Effectiveness of Flow Analysis for Inlining, Proceedings of the 1997 ACM International Conference on Functional Programming, pp. 99-111.
• J. Michael Ashley. A Practical and Flexible Flow Analysis for Higher-Order Languages, PhD thesis, Indiana University, 1996.
• J. Michael Ashley. A Practical and Flexible Flow Analysis for Higher-Order Languages, Conference Record of POPL’96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 184-194, 1996.
• Erik Hilsdale, J. Michael Ashley, R. Kent Dybvig, and Daniel P. Friedman. Compiler Construction using Scheme, First International Symposium, Functional Programming Languages in Education, LNCS Volume 1022, 1995, pp. 251-267, 1995.
• J. Michael Ashley and R. Kent Dybvig. An Efficient Implementation of Multiple Return Values in Scheme Proceedings of the 1994 ACM Conference on LISP and Functional Programming, pp. 140-149, 1994.
• J. Michael Ashley and Charles Consel. Fixpoint Computation for Polyvariant Static Analyses of Higher-Order Applicative Programs, ACM Transactions on Programming Languages and Systems, September 1994, 16(5), pp. 1431-1448, 1994.
• Gregor Kiczales, Luis H. Rodriguez Jr., J. Michael Ashley, Amin Vahdat, and Daniel G. Bobrow. Metaobject Protocols: Why we want them, and What else they can do, Object-Oriented Programming: the CLOS Perspective, edited by Andreas Paepcke, MIT Press, pp. 101-118, 1993.
• Anton P. W. Boehm, Robert E. Hiromoto, Kathleen A. Kelly, and J. Michael Ashley. On the Abstracted Dataflow Complexity of Fast Fourier Transforms, LA-UR-92-0805, Los Alamos National Laboratory, Los Alamos, New Mexico.
• J. Michael Ashley and Richard M. Salter. A Revised State Space Model for a Logic Programming Embedding in Scheme, Special Issue of the BIGRE Journal: Putting the Scheme Language to Work, pp. 1-8, 1989.
• J. Michael Ashley and Kenneth R. Ashley. Trans-cis Isomerization of trans-bis(oxalato)diaquochromate(III) and the Corresponding Hydroxy Complexes, Inorganic Chemistry, 27(6), pp. 990-992, 1988.