Raymie Stata

Palo Alto, California
raymie@cs.ucsc.edu

Professional Experience

Assistant Professor, Department of Computer Science, UC Santa Cruz
1/03 - present

Currently an assistant professor of computer science at the Jack Baskin School of Engineering at the University of California's Santa Cruz campus. Research focus is on Web Archeology, the study of the content (vs. the mechanism) of the Web.

Independent consulting
1/02 - 12/02

Business and technical consulting with seed-stage firms, including Deploy Solutions (enterprise HR software), Traxsis (personal location technology), Isofttech India (software services), Echo Networks (streaming music), and Vanu, Inc. (software radio).

Research Staff, Compaq (formally Digital's) Systems Research Center
9/96 - 12/01

Focus on specification and program checking. Worked on a variety of other projects, including a web security system, Java bytecode type soundness, and an optimizing compiler for Java bytecode. Evaluated partnership opportunities for DEC in the area of Web Application Servers. Most recently, specialized in Web Archeology, focusing on Web scale tools for studying the Web, including the connectivity server and term vector database (transferred several algorithms to Alta Vista).

Additional activities

On going technical relationship with the Internet Archive. Participation includes fundraising activities, crawling (including the Presidential Election crawl), crawl-infrastructure development, and technical infrastructure for researcher access to the Web collection. Also, member of the Nutch Organization Board of Directors, a non-profit developing an open-source Web search engine.

Education

Ph.D., S.M., S.B. in Computer Science; Massachusetts Institute of Technology
1986 - 1996

In 1991, received a joint S.B./S.M. in Computer Science from the MIT (thesis on distributed file systems under John Wilkes of HP Labs). In 1996, received a Ph.D. in Computer Science, also from MIT (thesis on object-oriented program design methodology under John Guttag). While in school, held research internships at Draper Laboratories and Hewlett-Packard Laboratories.

Publications and patents

Journal papers:

  1. R. Stata and M. Abadi. A type system for Java bytecode subroutines. In Transactions on Programming Languages and Systems, Volume 21, Issue 1, January 1999 (ACM Press). Also published as SRC Research Report 158, Digital Systems Research Center, June 1998.

  2. R. Leino and R. Stata. Virginity: A contribution to the specification of object-oriented software. In Information Processing Letters, pages 99-105, Volume 70, Issue 2, April 1999 (Elsevier). Also published as SRC Technical Note 1997-001, Digital Systems Research Center, April 1997.

Conference papers:

  1. R. Kraft, R. Stata. Finding Buying Guides with a Web Carnivore. To appear in proceedings of First Latin American Web Conference, November 2003.

  2. C. Flanagan, R. Leino, M. Lillibridge, G. Nelson, J. Saxe, R. Stata. Extended Static Checking for Java. In Proceedings of the 2002 Conference on Programming Language Design and Implementation (PLDI), pages 234-245, May 2002 (ACM).

  3. K. Randall, R. Stata, R. Wickremesinghe, J. Wiener. The Link Database: Fast Access to Graphs of the Web. In Proceedings of the 2002 Data Compression Conference (DCC), pages 122-131, April 2002 (IEEE). Also published as SRC Research Report 175, Compaq Systems Research Center, November 2001.

  4. A. Broder, R. Kumar, F. Maghoul, P. Raghavan, R. Stata, A. Tomkins, and J. Wiener. Graph structure in the Web. In Proceedings of the 9th International World Wide Web Conference, pages 309-320, May 2000 (Elsevier). Winner of Best Paper award.

  5. R. Stata, K. Bharat, and F. Maghoul. The Term Vector Database: fast access to indexing terms for Web pages. In Proceedings of the 9th International World Wide Web Conference, pages 247-256, May 2000 (Elsevier).

  6. R. Stata and M. Abadi. A type system for Java bytecode subroutines. Proceedings of the 25th ACM Symposium on Principles of Programming Languages (POPL), pages 149-160, January 1998. (Extended abstract of TOPLAS paper.)

  7. M. Abadi, A. Birrell, R. Stata, and T. Wobber. Secure Web tunneling. In Proceedings of the 7th International World Wide Web Conference, pages 531-539, April 1998 (Elsevier).

  8. R. Stata and J. Guttag. Modular reasoning in the presence of subclassing. In Proceedings of the 1995 Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pages 200-214, October 1995 (ACM Press).

Selection of additional publications:

  1. R. Kraft, E. Hastor, R. Stata. TimeLinks: Exploring the Link Structure of the Evolving Web. WAW2003 Second Workshop on Algorithms and Models for the Web-Graph, Budapest, Hungary, June 2003

  2. S. Leung, S. Perl, R. Stata, and J. Wiener. Towards web-scale web archaeology. SRC Research Report 174, Compaq Systems Research Center, September 2001.

  3. R. Leino, J. Saxe, and R. Stata. Checking Java programs via guarded commands. In Proceedings of the Workshop on Formal Techniques for Java Programs at ECOOP'99. June 1999. Also published as SRC Technical Note 1999-002, Compaq Systems Research Center, May 1999.

  4. R. Leino, R. Stata. Checking object invariants. SRC Technical Note 1997-007, Compaq Systems Research Center, May 1999.

  5. R. Stata. Modularity in the Presence of Subclassing. PhD Thesis. MIT LCS Technical Report 711. April 1997. Also published as SRC Research Report 145, Digital Systems Research Center, April 1997.

  6. R. Stata. File Systems with Multiple File Implementations. MS Thesis. MIT LCS Technical Report 528. February 1992.

  7. J. Wilkes, R. Stata. Specifying Data Availability in Multi-Device File Systems. In Operating Systems Review pages 56-59, Volume 25, Issue 1, 1991.

Recent invited presentations:

  1. Internet Analytics. Presented at the 2003 Frontiers in Distributed Information Systems, July 2003.

  2. Web Scale Graphs from Real Data. Presented at the 2002 Workshop on Algorithms and Models for the Web Graph, November 2002.

  3. Archiving at the Internet Archive. Presented at the 2nd ECDL Workshop on Web Archiving., September 2002.

  4. Archiving at the Internet Archive. Presented at the Council on Library and Information Resources Workshop on Preserving Web-Base Documents., April 2002.

Issued patents:

  1. J. Wiener, R. Stata, M. Burrows. Web page connectivity server. US 6598051, issued 07/22/2003.

  2. R. Stata, C. Flanagan, R. Leino, M. Lillibridge, J. Saxe. System and method for lexing and parsing program annotations. US 6353925, issued 03/05/2002.

  3. M. Abadi, S. Ghemawat, R. Stata. Method and apparatus for annotating a computer program to facilitate subsequent processing of the program. US6253370, issued 06/26/2001.

  4. G. Trewitt, D. Jefferson, R. Stata, E. Gould. Method and apparatus for correlating real-time audience feedback with segments of broadcast programs. US6134531, issued 10/17/2000.

  5. R. Leino, M. Lillibridge, R. Stata. Method and apparatus for statically analyzing a computer program for data dependencies. US5987252, issued 11/16/1999.

  6. A. Birrell, E. Wobber, M. Abadi, R. Stata. Secure web tunnel. US5805803, issued 09/08/1998.