Concepedia

Radu Grigore

RG

Statistics

Publications

9

Citations

256

H-Index

9

Active since

2005

Affiliations

University of Oxford(Current)

Georgia Institute of Technology

University College Dublin

University of Kent

Radu Grigore is an author at University of Oxford specializing in computer science, engineering, and formal verification.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationVerificationSoftware TestingSoftware Design

Publications per year

2005–2017

9

Publications

9

On abstraction refinement for program analyses in Datalog

Xin Zhang, Ravi Mangal, Radu Grigore et al. · 2014 · 86 citations

Program Checking, Engineering, Verification +18

Java generics are turing complete

Radu Grigore · 2016 · 39 citations

Subtype Checking, High-level Programming Language, Parser Generator +15

Effective interactive resolution of static analysis alarms

Xin Zhang, Radu Grigore, Xujie Si et al. · Proceedings of the ACM on Programming Languages · 2017 · 27 citations · Full text

Engineering, Measurement, Software Systems +22

Reachability analysis for annotated code

Mikoláš Janota, Radu Grigore, Michał Moskal · 2007 · 25 citations

Software Maintenance, Program Checking, Engineering +21

Abstraction refinement guided by a learnt probabilistic model

Radu Grigore, Hongseok Yang · 2016 · 22 citations

Artificial Intelligence, Software Maintenance, Engineering +23

1–5 of 9