Mark Marron Darko Stefanovic Manuel V. Hermenegildo Deepak Kapur Heap analysis in the presence of collection libraries. 31-36 2007 conf/paste/2007 PASTE http://doi.acm.org/10.1145/1251535.1251541 db/conf/paste/paste2007.html#MarronSHK07