ESP: Path-Sensitive Program Verification in Polynomial Time.

Manuvir Das, Sorin Lerner, Mark Seigle

Browse the full PLDI paper archive.