| 2009 |
16 | | Brian F. Cooper,
Eric Baldeschwieler,
Rodrigo Fonseca,
James J. Kistler,
P. P. S. Narayan,
Chuck Neerdaels,
Toby Negrin,
Raghu Ramakrishnan,
Adam Silberstein,
Utkarsh Srivastava,
Raymie Stata:
Building a Cloud for Yahoo!
IEEE Data Eng. Bull. 32(1): 36-43 (2009) |
| 2006 |
15 | | Raymie Stata:
Parallel programming in modern web search engines.
PPOPP 2006: 58 |
| 2004 |
14 | | Raymie Stata,
Patrick Hunt,
Thiruvalluvan M. G.:
The Bloomba Personal Content Database.
VLDB 2004: 1214-1223 |
| 2003 |
13 | | Reiner Kraft,
Raymie Stata:
Finding Buying Guides with a Web Carnivore.
LA-WEB 2003: 84-92 |
| 2002 |
12 | | Keith H. Randall,
Raymie Stata,
Janet L. Wiener,
Rajiv Wickremesinghe:
The Link Database: Fast Access to Graphs of the Web.
DCC 2002: 122-131 |
11 | | Cormac Flanagan,
K. Rustan M. Leino,
Mark Lillibridge,
Greg Nelson,
James B. Saxe,
Raymie Stata:
Extended Static Checking for Java.
PLDI 2002: 234-245 |
| 2000 |
10 | | Raymie Stata,
Krishna Bharat,
Farzin Maghoul:
The Term Vector Database: fast access to indexing terms for Web pages.
Computer Networks 33(1-6): 247-255 (2000) |
9 | | Andrei Z. Broder,
Ravi Kumar,
Farzin Maghoul,
Prabhakar Raghavan,
Sridhar Rajagopalan,
Raymie Stata,
Andrew Tomkins,
Janet L. Wiener:
Graph structure in the Web.
Computer Networks 33(1-6): 309-320 (2000) |
| 1999 |
8 | | K. Rustan M. Leino,
James B. Saxe,
Raymie Stata:
Checking Java Programs via Guarded Commands.
ECOOP Workshops 1999: 110-111 |
7 | | Raymie Stata,
Martín Abadi:
A Type System for Java Bytecode Subroutines.
ACM Trans. Program. Lang. Syst. 21(1): 90-137 (1999) |
6 | | K. Rustan M. Leino,
Raymie Stata:
Virginity: A Contribution to the Specification of Object-Oriented Software.
Inf. Process. Lett. 70(2): 99-105 (1999) |
| 1998 |
5 | | Raymie Stata,
Martín Abadi:
A Type System for Java Bytecode Subroutines.
POPL 1998: 149-160 |
4 | | Martín Abadi,
Andrew Birrell,
Raymie Stata,
Edward Wobber:
Secure Web Tunneling.
Computer Networks 30(1-7): 531-539 (1998) |
| 1995 |
3 | | Raymie Stata,
John V. Guttag:
Modular Reasoning in the Presence of Subclassing.
OOPSLA 1995: 200-214 |
| 1991 |
2 | | John Wilkes,
Raymie Stata:
Specifying Data Availability in Multi-Device File Systems.
Operating Systems Review 25(1): 56-59 (1991) |
| 1990 |
1 | | John Wilkes,
Raymie Stata:
Specifying data availability in multi-device file systems.
ACM SIGOPS European Workshop 1990 |