@inproceedings{JuYi08,
  author = "Yungbum Jung and Kwangkeun Yi",
  title = "Practical Memory Leak Detector Based on Parameterized Procedural Summaries",
  booktitle = "Proceedings of the 2008 International Symposium on Memory Management",
  year = "2008"
}