CURRENT GRADUATE STUDENTS

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
Last updated 9/15/05