Program Analysis with Local Policy Iteration.

Egor George Karpenkov, David Monniaux, Philipp Wendler

Browse the full VMCAI paper archive.