1. and , eds., Program Flow Analysis: Theory and Applications, Prentice Hall, Englewood Cliffs, NJ, 1981.
2. ‘An Efficient Way to Find the Side Effects of Procedure Calls and the Aliases of Variables’, Conference Record of the Sixth Annual A CM Symposium on Principles of Programming Languages, San Antonio, TX, 29–41 (1979).
3. ‘A Precise Interprocedural Data Flow Algorithm’, Conference Record of the Eighth Annual ACM Symposium on Principles of Programming Languages, Williamsburg, VA, 219–230 (1981).
4. and , ‘Code Generation and Reorganization in the Presence of Pipeline Constraints’, Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, Albuquerque, NM, 120–127 (1982).
5. and , ‘Description-Driven Code Generation using Attribute Grammars’, Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, Albuquerque, NM, 108–119 (1982).