Raymie Stata

According to our database, Raymie Stata authored at least 16 papers between 1991 and 2013.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2013

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

2011

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

Proceedings of the Forth International Conference on Web Search and Web Data Mining, 2011

2009

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, Adam Silberstein, Utkarsh Srivastava, Raymie Stata

IEEE Data Eng. Bull., 2009

2006

Parallel programming in modern web search engines.

Raymie Stata

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2006

2004

The Bloomba Personal Content Database.

Raymie Stata, Patrick Hunt, Thiruvalluvan M. G.

Proceedings of the (e)Proceedings of the Thirtieth International Conference on Very Large Data Bases, VLDB 2004, Toronto, Canada, August 31, 2004

2003

Finding Buying Guides with a Web Carnivore.

Reiner Kraft, Raymie Stata

Proceedings of the 1st Latin American Web Congress (LA-WEB 2003), 2003

2002

Extended Static Checking for Java.

Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata

Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002

The Link Database: Fast Access to Graphs of the Web.

Keith H. Randall, Raymie Stata, Janet L. Wiener, Rajiv Wickremesinghe

Proceedings of the 2002 Data Compression Conference (DCC 2002), 2002

2000

The Term Vector Database: fast access to indexing terms for Web pages.

Raymie Stata, Krishna Bharat, Farzin Maghoul

Comput. Networks, 2000

Graph structure in the Web.

Andrei Z. Broder, Ravi Kumar, Farzin Maghoul, Prabhakar Raghavan, Sridhar Rajagopalan, Raymie Stata, Andrew Tomkins, Janet L. Wiener

Comput. Networks, 2000

1999

A Type System for Java Bytecode Subroutines.

Raymie Stata, Martín Abadi

ACM Trans. Program. Lang. Syst., 1999

Virginity: A Contribution to the Specification of Object-Oriented Software.

K. Rustan M. Leino, Raymie Stata

Inf. Process. Lett., 1999

Checking Java Programs via Guarded Commands.

K. Rustan M. Leino, James B. Saxe, Raymie Stata

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1998

Secure Web Tunneling.

Martín Abadi, Andrew Birrell, Raymie Stata, Edward Wobber

Comput. Networks, 1998

1995

Modular Reasoning in the Presence of Subclassing.

Raymie Stata, John V. Guttag

Proceedings of the Tenth Annual Conference on Object-Oriented Programming Systems, 1995

1991

Specifying Data Availability in Multi-Device File Systems.

John Wilkes, Raymie Stata

ACM SIGOPS Oper. Syst. Rev., 1991