Roman Manevich Tal Lev-Ami Mooly Sagiv Ganesan Ramalingam Josh Berdine Heap Decomposition for Concurrent Shape Analysis. 363-377 2008 SAS http://dx.doi.org/10.1007/978-3-540-69166-2_24 conf/sas/2008 db/conf/sas/sas2008.html#ManevichLSRB08