@inproceedings{DDYC:ISMM08,
 author = {Isil Dillig and Thomas Dillig and Eran Yahav and Satish Chandra},
 title = {The CLOSER: automating resource management in java},
 booktitle = {ISMM '08: Proceedings of the 7th international symposium on 
 Memory management},
 year = {2008},
 isbn = {978-1-60558-134-7},
 pages = {1--10},
 location = {Tucson, AZ, USA},
 doi = {http://doi.acm.org/10.1145/1375634.1375636},
 publisher = {ACM},
 address = {New York, NY, USA},
 }