Raymie Stata - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 18 from 18

2013

PLDI 2002: Extended static checking for JavaCormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata. SIGPLAN, 48(4S):22-33, 2013. [doi]

2011

Efficient online ad serving in a display advertising exchangeKevin Lang, Joaquin Delgado, Dongming Jiang, Bhaskar Ghosh, Shirshanka Das, Amita Gajewar, Swaroop Jagadish, Arathi Seshan, Chavdar Botev, Michael Bindeberger-Ortega, Sunil Nagaraj, Raymie Stata. wsdm 2011: 307-316 [doi]

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. DEBU, 32(1):36-43, 2009. [doi]

2006

Parallel programming in modern web search enginesRaymie Stata. ppopp 2006: 58 [doi]

2004

The Bloomba Personal Content DatabaseRaymie Stata, Patrick Hunt, Thiruvalluvan M. G.. VLDB 2004: 1214-1223 [doi]

2003

Finding Buying Guides with a Web CarnivoreReiner Kraft, Raymie Stata. la-web 2003: 84-92 [doi]

2002

Extended Static Checking for JavaCormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata. PLDI 2002: 234-245 [doi]

The Link Database: Fast Access to Graphs of the WebKeith H. Randall, Raymie Stata, Janet L. Wiener, Rajiv Wickremesinghe. dcc 2002: 122-131 [doi]

2000

Graph structure in the WebAndrei Z. Broder, Ravi Kumar, Farzin Maghoul, Prabhakar Raghavan, Sridhar Rajagopalan, Raymie Stata, Andrew Tomkins, Janet L. Wiener. cn, 33(1-6):309-320, 2000. [doi]

The Term Vector Database: fast access to indexing terms for Web pagesRaymie Stata, Krishna Bharat, Farzin Maghoul. cn, 33(1-6):247-255, 2000. [doi]

1999

Checking Java Programs via Guarded CommandsK. Rustan M. Leino, James B. Saxe, Raymie Stata. ECOOPW 1999: 110-111

Virginity: A Contribution to the Specification of Object-Oriented SoftwareK. Rustan M. Leino, Raymie Stata. ipl, 70(2):99-105, 1999. [doi]

A Type System for Java Bytecode SubroutinesRaymie Stata, Martín Abadi. TOPLAS, 21(1):90-137, 1999. [doi]

1998

Secure Web TunnelingMartín Abadi, Andrew Birrell, Raymie Stata, Edward Wobber. cn, 30(1-7):531-539, 1998. [doi]

A Type System for Java Bytecode SubroutinesRaymie Stata, Martín Abadi. POPL 1998: 149-160 [doi]

1995

Modular Reasoning in the Presence of SubclassingRaymie Stata, John V. Guttag. OOPSLA 1995: 200-214

1991

Specifying Data Availability in Multi-Device File SystemsJohn Wilkes, Raymie Stata. sigops, 25(1):56-59, 1991.

1990

Specifying data availability in multi-device file systemsJohn Wilkes, Raymie Stata. sigopsE 1990: [doi]

Sign in or sign up to see more results.

runs on WebDSL