BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Germany
3 × USA
Collaborated with:
M.Abadi J.V.Guttag P.Hunt T.M.G. C.Flanagan K.R.M.Leino M.Lillibridge G.Nelson J.B.Saxe
Talks about:
java (2) subroutin (1) subclass (1) parallel (1) program (1) presenc (1) modular (1) databas (1) content (1) bytecod (1)

Person: Raymie Stata

DBLP DBLP: Stata:Raymie

Contributed to:

PPoPP 20062006
VLDB 20042004
PLDI 20022002
POPL 19981998
OOPSLA 19951995

Wrote 5 papers:

PPoPP-2006-Stata #parallel #programming #web
Parallel programming in modern web search engines (RS), p. 58.
VLDB-2004-StataHG #database
The Bloomba Personal Content Database (RS, PH, TMG), pp. 1214–1223.
PLDI-2002-FlanaganLLNSS #java #static analysis
Extended Static Checking for Java (CF, KRML, ML, GN, JBS, RS), pp. 234–245.
POPL-1998-StataA #bytecode #java #type system
A Type System for Java Bytecode Subroutines (RS, MA), pp. 149–160.
OOPSLA-1995-StataG #composition #reasoning #subclass
Modular Reasoning in the Presence of Subclassing (RS, JVG), pp. 200–214.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.