@inproceedings{DBLP:conf/iwmm/JungY08, author = {Yungbum Jung and Kwangkeun Yi}, title = {Practical memory leak detector based on parameterized procedural summaries}, booktitle = {ISMM}, year = {2008}, pages = {131-140}, ee = {http://doi.acm.org/10.1145/1375634.1375653}, crossref = {DBLP:conf/iwmm/2008}, bibsource = {DBLP, http://dblp.uni-trier.de} } @proceedings{DBLP:conf/iwmm/2008, editor = {Richard Jones and Stephen M. Blackburn}, title = {Proceedings of the 7th International Symposium on Memory Management, ISMM 2008, Tucson, AZ, USA, June 7-8, 2008}, booktitle = {ISMM}, publisher = {ACM}, year = {2008}, isbn = {978-1-60558-134-7}, bibsource = {DBLP, http://dblp.uni-trier.de} }