Radu Grigore

Radu Grigore

Research Assistant

Leaving date: 31st December 2015

See Also:

• Personal

Selected Publications

View AllManage publications

• Abstraction Refinement by a Learnt Probabilistic Model

  Radu Grigore and Hongseok Yang

  In POPL. 2016.

  Details about Abstraction Refinement by a Learnt Probabilistic Model | BibTeX data for Abstraction Refinement by a Learnt Probabilistic Model

• Tree Buffers

  Radu Grigore and Stefan Kiefer

  In CAV. 2015.

  Details about Tree Buffers | BibTeX data for Tree Buffers

• On abstraction refinement for program analyses in Datalog

  Xin Zhang‚ Ravi Mangal‚ Radu Grigore‚ Mayur Naik and Hongseok Yang

  In Michael F. P. O'Boyle and Keshav Pingali, editors, ACM SIGPLAN Conference on Programming Language Design and Implementation‚ PLDI '14‚ Edinburgh‚ United Kingdom − June 09 − 11‚ 2014. Pages 27. ACM. 2014.

  Details about On abstraction refinement for program analyses in Datalog | BibTeX data for On abstraction refinement for program analyses in Datalog | DOI (10.1145/2594291.2594327) | Link to On abstraction refinement for program analyses in Datalog