Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko
Browse the full PLDI paper archive.