Isil Dillig Thomas Dillig Eran Yahav Satish Chandra The CLOSER: automating resource management in java. 1-10 2008 ISMM http://doi.acm.org/10.1145/1375634.1375636 conf/iwmm/2008 db/conf/iwmm/ismm2008.html#DilligDYC08