Raymie Stata

18 papers A* 3A 2B 2Journal 8Unranked 3
YearRankTypeTitle / Venue / Authors
2013 J jnl
PLDI 2002: Extended static checking for Java.
ACM SIGPLAN Notices
Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata
2011 A conf
Efficient online ad serving in a display advertising exchange.
WSDM
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
2009 J jnl
Building a Cloud for Yahoo!
IEEE Data Eng. Bull.
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
2006 B conf
Parallel programming in modern web search engines.
PPoPP
Raymie Stata
2004 A* conf
The Bloomba Personal Content Database.
VLDB
Raymie Stata, Patrick Hunt, Thiruvalluvan M. G.
2003 — conf
Finding Buying Guides with a Web Carnivore.
LA-WEB
Reiner Kraft, Raymie Stata
2002 A* conf
Extended Static Checking for Java.
PLDI
Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata
2002 B conf
The Link Database: Fast Access to Graphs of the Web.
DCC
Keith H. Randall, Raymie Stata, Janet L. Wiener, Rajiv Wickremesinghe
2000 J jnl
Graph structure in the Web.
Comput. Networks
Andrei Z. Broder, Ravi Kumar, Farzin Maghoul, Prabhakar Raghavan, Sridhar Rajagopalan, Raymie Stata, Andrew Tomkins, Janet L. Wiener
2000 J jnl
The Term Vector Database: fast access to indexing terms for Web pages.
Comput. Networks
Raymie Stata, Krishna Bharat, Farzin Maghoul
1999 J jnl
A Type System for Java Bytecode Subroutines.
ACM Trans. Program. Lang. Syst.
Raymie Stata, Martín Abadi
1999 — conf
Checking Java Programs via Guarded Commands.
ECOOP Workshops
K. Rustan M. Leino, James B. Saxe, Raymie Stata
1999 J jnl
Virginity: A Contribution to the Specification of Object-Oriented Software.
Inf. Process. Lett.
K. Rustan M. Leino, Raymie Stata
1998 A* conf
A Type System for Java Bytecode Subroutines.
POPL
Raymie Stata, Martín Abadi
1998 J jnl
Secure Web Tunneling.
Comput. Networks
Martín Abadi, Andrew Birrell, Raymie Stata, Edward Wobber
1995 A conf
Modular Reasoning in the Presence of Subclassing.
OOPSLA
Raymie Stata, John V. Guttag
1991 J jnl
Specifying Data Availability in Multi-Device File Systems.
ACM SIGOPS Oper. Syst. Rev.
John Wilkes, Raymie Stata
1990 — conf
Specifying data availability in multi-device file systems.
ACM SIGOPS European Workshop
John Wilkes, Raymie Stata