Heap Decomposition for Concurrent Shape Analysis.

Roman Manevich, Tal Lev-Ami, Mooly Sagiv, Ganesan Ramalingam, Josh Berdine

Browse the full SAS paper archive.