@inproceedings{LeYaYi03,
  author = "Oukseh Lee and Hongseok Yang and Kwangkeun Yi",
  title = "Inserting Safe Memory Reuse Commands into ML-like Programs",
  booktitle = "SAS 2003: 10th Annual International Static Analysis Symposium",
  volume = "2694",
  series = "Lecture Notes in Computer Science",
  pages = "171-188",
  year = "2003",
  publisher = "Springer-Verlag"
}