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: Grigore:Radu
Contributed to:
2015
2014
2013
2013
20112017
2017
20162017Wrote 9 papers:
- CAV-2015-GrigoreK
- 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.