Radu Grigore

Abstraction Refinement Guided by a Learnt Probabilistic Model

2015 · arXiv (Cornell University)

The core challenge in designing an effective static program analysis is to find a good program abstraction -- one that retains only details relevant to a given query. In this paper, we present a new …