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 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 |