R
Raymie Stata
Researcher at University of California, Santa Cruz
Publications - 13
Citations - 4929
Raymie Stata is an academic researcher from University of California, Santa Cruz. The author has contributed to research in topics: Java & Real time Java. The author has an hindex of 10, co-authored 13 publications receiving 4842 citations.
Papers
More filters
Journal ArticleDOI
Graph structure in the Web
Andrei Z. Broder,Ravi Kumar,Farzin Maghoul,Prabhakar Raghavan,Sridhar Rajagopalan,Raymie Stata,Andrew Tomkins,Janet L. Wiener +7 more
TL;DR: The study of the web as a graph yields valuable insight into web algorithms for crawling, searching and community discovery, and the sociological phenomena which characterize its evolution.
Proceedings ArticleDOI
Extended static checking for Java
TL;DR: The Extended Static Checker for Java (ESC/Java) is introduced, an experimental compile-time program checker that finds common programming errors and provides programmers with a simple annotation language with which programmer design decisions can be expressed formally.
Journal ArticleDOI
A type system for Java bytecode subroutines
Raymie Stata,Martín Abadi +1 more
TL;DR: This article proposes using typing rules to describe the bytecode verifier because they are more precise than prose, clearer than code, and easier to reason about than either.
Proceedings ArticleDOI
A type system for Java bytecode subroutines
Raymie Stata,Martín Abadi +1 more
TL;DR: This paper proposes using typing rules to describe the bytecode verifier because they are more precise than prose, clearer than code, and easier to reason about than either.
Proceedings Article
Checking Java Programs via Guarded Commands
TL;DR: A simple guarded-command–like language and its semantics is defined, used as an intermediate language in generating verification conditions for Java, and why it is a good idea to generate verification conditions via an intermediatelanguage, rather than directly.