@conference{JuYi-ISMM-2008,
title={A Practical Memory Leak Detector Based on Parameterized Procedural Summaries},
author={Yungbum Jung and Kwangkeun Yi},
booktitle={Proceedings of the 7th International Symposium on Memory Management},
pages={131--140},
year={2008},
organization={ACM}
}