Tim Harvey

Background
After receiving his Bachelors' Degree in Computer Science from Rice University in 1988, Tim Harvey went to PRC, a subcontractor to NASA, where he worked as programmer and technical lead building some of the support software on the Space Station Freedom project.

In 1991, Tim came back to Rice to work on the Massively Scalar Compiler project. He helped design the ILOC language and implement the parser and support routines (the shared code) which serve as a platform upon which all of the MSCP optimization passes are written.

In ensuing years, Tim has managed to keep busy doing his own research and supporting the research of numerous other graduate students, including Taylor Simpson, Phil Schielke, John Lu, Edmar Wienskowski, Alex Grosul, etc.

Tim took courses in his spare time, and he graduated with his Master's degree (thesis here) in May of 1998. At his defense, Tim was told by his chair, Moshe Vardi, that he should continue on and earn his PhD.

In the ensuing years, Tim juggled a full-time job, classes, and labbying assignments (there are no labbying assignments for master's students), and still managed to find time to get married.

In May of 2003, Tim earned his terminal degree (dissertation here), and he is now in the process of looking for a professorial position to continue teaching (which is something he never stopped doing; Tim's office is right next door to Keith Cooper's office, and by the middle of each semester, students learn that while Keith is rarely to be found, Tim is always in his office, and always ready to spend hours explaining things).

Tim's job-seach documents:

Cover letter       pdf postscript
CV                 pdf postscript
Teaching statement pdf postscript
Research statement pdf postscript

1. Experiences using the ParaScope Editor: an interactive parallel programming tool ACM SIGPLAN Notices , Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming postscript
2. Multiplication by Integer Constants Preston Briggs and Timothy J. Harvey Rice Technical Report, TR03-425 postscript
3. How to build an interference graph Software -- Practice and Experience, volume 28, number 4 postscript
4. Practical Improvements to the Construction and Destruction of Static Single Assignment Form Software -- Practice and Experience, volume 28, number 8 postscript
5. Compiler-controlled memory Proceedings of the eighth international conference on Architectural support for programming languages and operating systems postscript
6. Fast copy coalescing and live-range identification ACM SIGPLAN Notices , Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation postscript
7. Building a Control-Flow Graph from Scheduled Assembly Code Rice Technical Report, TR02-399 postscript
8. Iterative Data-flow Analysis, Revisited Rice Technical Report, TR04-100 postscript

Other Projects
Going on scenic bike rides
Enjoying a cool Saint Arnold amber

How to reach me:

Tim Harvey
Rice University
Computer Science, MS 132
6100 South Main Street
Houston, Texas 77005

harv@rice.edu

713-348-5185