Control-flow refinement and progress invariants for bound analysis.

Sumit Gulwani, Sagar Jain, Eric Koskinen

Browse the full PLDI paper archive.