|Department of Computer Science||
||"keith" at "rice.edu"|
|6100 South Main Street, MS 132||
|Houston, TX, USA 77005||
|Official web page|
Dr. Cooper's research has looked at a wide variety of problems in
the translation and optimization of programming languages.
Cooper and his group have worked on problems as diverse as
interprocedural data-flow analysis (summary problems, parameter
aliasing, and pointer disambiguation), on classical scalar optimization
(value numbering, combining optimizations, strength reduction, register
promotion of pointer-based values, code compression, inline substitution,
strength reduction, algebraic reassociation, ...), on register
allocation (in Chaitin-Briggs, Chow, and Koblenz-Callahan style allocators),
on instruction scheduling, and on intraprocedural analysis (SSA construction,
global data-flow algorithms, CFG construction, ...).
From July 1, 2002 to June 30, 2008, he was chair of Rice's
Computer Science Department.
While that post has its own psychic rewards, it distracted him from
research and teaching.
Any queries regarding the Department should be addressed to his
successor, Dr. Joe Warren.
For the past ten years, Cooper and his group have been working on fundamental
ways to change the structure and behavior of compilers. That work has
variously been called "adaptive compilation" and "compiler-based autotuning".
His current interests include
- Wrapping up the DARPA-sponsored PACE project
- Moving adaptive compilation into common practice
- Optimization of programs written in F#
- Flyweight runtime reoptimization
- Optimization for multicore & manycore processors
Engineering a Compiler
With Linda Torczon, he has written a textbook on compiler construction,
Engineering A Compiler, published by Elsevier Morgan-Kaufmann
The second edition appeared in early 2011; the
online errata page lists some of the
Elsevier Morgan-Kauffman makes available material for teachers, through its
sales reps and its
companion web site.
A complete set of publications will appear on this page sometime soon.
- Comp 412:
Rice's undergraduate course in compiler construction.
Cooper has taught this course many times, most recently in the
Fall of 2011.
- Comp 512:
Rice's graduate course in classical optimization has a focus on scalar
optimization---that is, techniques that improve uniprocessor performance.
- Anne and Charles
Duncan Hall; this "unofficial" web site tries to answer many
of your questions about Duncan Hall, from the perspective of someone
who had an inside view of the design and construction. It includes
some of the best lies that tour guides tell about the building.
- My family (sorry, no pictures)