SRC Technical Note

2001-004

December 2001

Selected 2001 SRC Summer Intern Reports

Compiled by

Cathy Miller, M.L.I.S.

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

Copyright 2001 Compaq Computer Corporation. All rights reserved 
This document features informal reports by interns who spent the summer of 2001 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 members of the research staff. The primary goal of this technical note is to describe the summer research projects. 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  Typsy: A Type-Based Search Tool for Java Programmers
Christie Bolton
2 A Fast Incremental Update Scheme for PageRank 
Steve Chien
3  OS Support for Speculative I/O Prefetching
Keir Fraser
4  Porting the FastVM from Alpha to IA-32
Matthias Jacob
5  Verifying TLA+ Invariants with ACL2
Carlos Pacheco
6  Combining Thread-Modular and Procedure-Modular Verification
Sanjit A. Seshia