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