Sigmund Cherem Radu Rugina Uniqueness inference for compile-time object deallocation. 117-128 2007 conf/iwmm/2007 ISMM http://doi.acm.org/10.1145/1296907.1296923 db/conf/iwmm/ismm2007.html#CheremR07