Raymie Stata

Publication Activity (10 Years)

Years Active: 1990-2013
Publications (10 Years): 0

Top Topics

Database Applications

Consistency Checking

Top Venues

ACM SIGPLAN Notices

Publications

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