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: Stata:Raymie
Contributed to:
2006
2004
2002
1998
1995Wrote 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.