Concepedia

Raymie Stata

RS

18

Publications

5K

Citations

16

H-Index

1995

Active since

Affiliations

Microsoft (United States)(Current)

Massachusetts Institute of Technology

Google (United States)

Raymie Stata is an author at Microsoft (United States) specializing in engineering, computer science, and software engineering.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisSoftware EngineeringVerificationFormal MethodsFormal VerificationSoftware DesignSoftware Testing

Publications per year

1995–2013

18

Publications

18

Graph structure in the Web

Andrei Broder, Ravi Kumar, Farzin Maghoul et al. · Computer Networks · 2000 · 2.8K citations

Network Science, Graph Theory, Data Science +9

Extended static checking for Java

Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge et al. · 2002 · 1.3K citations

Software Maintenance, Program Checking, Engineering +18

A type system for Java bytecode subroutines

Raymie Stata, Martı́n Abadi · 1998 · 156 citations · Full text

Engineering, Compiler Technology, Verification +19

Extended static checking for Java

Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge et al. · 2002 · 131 citations

Software Maintenance, Program Checking, Engineering +18

Extended static checking for Java

Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge et al. · ACM SIGPLAN Notices · 2002 · 122 citations

Software Maintenance, Program Checking, Engineering +18

Rows per page

1–5 of 18