SRC Technical Note 1999-003

SRC Technical Note

1999-003

November 1999

Selected 1999 SRC Summer Intern Reports

Compiled by James Mason

Systems Research Center
130 Lytton Avenue
Palo Alto, CA 94301
http://www.research.digital.com/SRC/

This document features informal reports by interns who spent the summer of 1999 working with researchers at Compaq Systems Research Center (SRC). The interns were graduate students in computer science or electrial engineering Ph.D. programs. Each worked for about three months at SRC, collaborating on a project with the research staff. The primary goal of this technical note is to describe the summer research projects. However, the interns were encouraged to write their reports in whatever format or style they preferred, so that non-technical observations (such as background and impressions arising from their stay) could also be included.

1. Type-based Race Detection for Java: Stephen Freund
2. Hilltop: Experiences Building a Web Search Engine: George Mihaila, University of Toronto
3. Toward More Informative ESC/Java Warning Messages: Todd Millstein
4. Chasing Races: Silvija Seres
5. Directional Array Microphone: Richard Turner
6. Early Analysis Techniques for ProfileMe: Kevin Walker
7. Verifying Temporal Formulas in the Temporal Logic of Actions: Lucian Wischik