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 × Hungary
1 × USA
1 × United Kingdom
2 × Italy
Collaborated with:
N.Tzevelekos X.Zhang M.Naik H.Yang S.Kiefer X.Si D.Distefano R.L.Petersen R.Mangal D.Naudziuniene M.Botincan M.Dodds M.J.Parkinson
Talks about:
automata (2) abstract (2) program (2) analysi (2) regist (2) verif (2) refin (2) java (2) probabilist (1) techniqu (1)

Person: Radu Grigore

DBLP DBLP: Grigore:Radu

Contributed to:

CAV 20152015
PLDI 20142014
FOSSACS 20132013
TACAS 20132013
ESEC/FSE 20112011
CAV (1) 20172017
OOPSLA 20172017
POPL 20162016
POPL 20172017

Wrote 9 papers:

Tree Buffers (RG, SK), pp. 290–306.
PLDI-2014-ZhangMGNY #abstraction #analysis #datalog #on the #refinement
On abstraction refinement for program analyses in Datalog (XZ, RM, RG, MN, HY), p. 27.
FoSSaCS-2013-TzevelekosG #automaton
History-Register Automata (NT, RG), pp. 17–33.
TACAS-2013-GrigoreDPT #automaton #runtime #verification
Runtime Verification Based on Register Automata (RG, DD, RLP, NT), pp. 260–276.
ESEC-FSE-2011-NaudziunieneBDDGP #automation #ide #java #named #source code #verification
jStar-eclipse: an IDE for automated verification of Java programs (DN, MB, DD, MD, RG, MJP), pp. 428–431.
CAV-2017-SiZGN #analysis #satisfiability
Maximum Satisfiability in Software Analysis: Applications and Techniques (XS, XZ, RG, MN), pp. 68–94.
OOPSLA-2017-ZhangGSN #effectiveness #interactive #static analysis
Effective interactive resolution of static analysis alarms (XZ, RG, XS, MN), p. 30.
POPL-2016-GrigoreY #abstraction #probability #refinement
Abstraction refinement guided by a learnt probabilistic model (RG, HY), pp. 485–498.
POPL-2017-Grigore #java
Java generics are turing complete (RG), pp. 73–85.

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.