2006 |
15 | EE | Raymie Stata:
Parallel programming in modern web search engines.
PPOPP 2006: 58 |
2004 |
14 | EE | Raymie Stata,
Patrick Hunt,
Thiruvalluvan M. G.:
The Bloomba Personal Content Database.
VLDB 2004: 1214-1223 |
2003 |
13 | EE | Reiner Kraft,
Raymie Stata:
Finding Buying Guides with a Web Carnivore.
LA-WEB 2003: 84-92 |
2002 |
12 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Raymie Stata,
Martín Abadi:
A Type System for Java Bytecode Subroutines.
ACM Trans. Program. Lang. Syst. 21(1): 90-137 (1999) |
6 | EE | 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 | EE | Raymie Stata,
Martín Abadi:
A Type System for Java Bytecode Subroutines.
POPL 1998: 149-160 |
4 | EE | 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 | EE | John Wilkes,
Raymie Stata:
Specifying data availability in multi-device file systems.
ACM SIGOPS European Workshop 1990 |