PH. D. STUDENTS SUPERVISED
Steven P. Rhodes, Practical Syntactic Error Recovery for Programming Languages, July 1973.
Jeffrey M. Barth, A Practical Interprocedural Data Flow Analysis Algorithm and its Applications, June 1977.
R. Steven Glanville, A Machine Independent Algorithm for Code Generation and Its Use in Retargetable Compilers, December 1977.
Olivier Roubine, Practical Compiler Implementation on Small Computer Systems, July 1978.
Mark R. Horton, Design of a Multi Language Editor with Static Error Detection Capabilities, July 1981.
Mark Wegman, General and Efficient Methods for Global Code Improvement, September 1981.
James C. Dehnert, The Analysis of Errors in Context Free Languages, June 1983.
Robert R. Henry, Graham-Glanville Code Generators, May 1984.
Polle T. Zellweger, Interactive Source-Level Debugging for Optimized Programs, May 1984.
Daniel C. Halbert, Programming by Example, December 1984.
Peter B. Kessler, Automated Discovery of Machine-Specific Code Improvements, December 1984.
M. Kirk McKusick, Register Allocation and Data Conversion in Machine Independent Code Generators, December 1984.
Robert P. Corbett, Static Semantics and Compiler Error Recovery, May 1985.
Phillip Garrison, Modeling and Implementation of Visibility in Programming Languages, December 1987.
Eduardo Pelegri'-Llopart, Rewrite Systems, Pattern Matching, and Code Generation, February 1988.
Robert A. Ballance, Syntactic and Semantic Checking in Language-Based Editing Systems, December 1989.
Charles D. Farnum, Pattern Based Languages for Prototyping of Compiler Optimizers, December 1990.
Douglas R. Grundman, Graph Transformations and Program Flow Analysis, December 1990.
Michael L. Van de Vanter, User Interaction in Language-Based Editing Systems, December 1992
Steven Lucco, Adaptive Parallel Programs, December 1994
Oliver Sharp, Transforming for Parallelism Using Symbolic Summarization, May 1995
John Boyland, Descriptional Composition of Compiler Components, December 1996
William Maddox, Incremental Static Semantic Analysis, May 1997
Tim A. Wagner, Practical Algorithms for Incremental Software Development Environments, May 1997
David F. Bacon, Fast and Effective Optimization of Statically Typed Object-Oriented Languages, December 1997
Caroline Mae Tice, Non-Transparent Debugging of Optimized Code, December 1999
Andrew Brian Begel, Spoken Language Support for Software Development, December 2005
Marat Boshernitsan, Program Manipulation via Interactive Transformations, May 2006
Last updated 12/10/10