Systems Research Center
130 Lytton Avenue
Palo Alto, CA 94301
http://www.research.compaq.com/SRC/
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 |