Thread Quantification for Concurrent Shape Analysis.

Josh Berdine, Tal Lev-Ami, Roman Manevich, G. Ramalingam, Shmuel Sagiv

Browse the full CAV paper archive.