Specifying Data Availability in Multi-Device File Systems. - John Wilkes; Raymie Stata (ACM SIGOPS Oper. Syst. Rev., 1991)

Modular Reasoning in the Presence of Subclassing. - Raymie Stata; John V. Guttag (OOPSLA, 1995)

Secure Web Tunneling. - Martín Abadi; Andrew Birrell; Raymie Stata; Edward Wobber (Comput. Networks, 1998)

Checking Java Programs via Guarded Commands. - K. Rustan M. Leino; James B. Saxe; Raymie Stata (ECOOP Workshops, 1999)

Virginity: A Contribution to the Specification of Object-Oriented Software. - K. Rustan M. Leino; Raymie Stata (Inf. Process. Lett., 1999)

A Type System for Java Bytecode Subroutines. - Raymie Stata; Martín Abadi (ACM Trans. Program. Lang. Syst., 1999)

Graph structure in the Web. - Andrei Z. Broder; Ravi Kumar 001; Farzin Maghoul; Prabhakar Raghavan; Sridhar Rajagopalan; Raymie Stata; Andrew Tomkins; Janet L. Wiener (Comput. Networks, 2000)

The Term Vector Database: fast access to indexing terms for Web pages. - Raymie Stata; Krishna Bharat; Farzin Maghoul (Comput. Networks, 2000)

The Link Database: Fast Access to Graphs of the Web. - Keith H. Randall; Raymie Stata; Janet L. Wiener; Rajiv Wickremesinghe (DCC, 2002)

Extended Static Checking for Java. - Cormac Flanagan; K. Rustan M. Leino; Mark Lillibridge; Greg Nelson; James B. Saxe; Raymie Stata (PLDI, 2002)

Finding Buying Guides with a Web Carnivore. - Reiner Kraft 001; Raymie Stata (LA-WEB, 2003)

The Bloomba Personal Content Database. - Raymie Stata; Patrick Hunt; Thiruvalluvan M. G. (VLDB, 2004)

Parallel programming in modern web search engines. - Raymie Stata (PPoPP, 2006)

Building a Cloud for Yahoo! - Brian F. Cooper; Eric Baldeschwieler; Rodrigo Fonseca; James J. Kistler; P. P. S. Narayan; Chuck Neerdaels; Toby Negrin; Raghu Ramakrishnan 001; Adam Silberstein; Utkarsh Srivastava; Raymie Stata (IEEE Data Eng. Bull., 2009)

Efficient online ad serving in a display advertising exchange. - Kevin J. Lang; Joaquin Delgado; Dongming Jiang; Bhaskar Ghosh; Shirshanka Das; Amita Gajewar; Swaroop Jagadish; Arathi Seshan; Chavdar Botev; Michael Ortega-Binderberger; Sunil Nagaraj; Raymie Stata (WSDM, 2011)

PLDI 2002: Extended static checking for Java. - Cormac Flanagan; K. Rustan M. Leino; Mark Lillibridge; Greg Nelson; James B. Saxe; Raymie Stata (ACM SIGPLAN Notices, 2013)