@inproceedings{LeYaYi03,
  title = "Inserting Safe Memory Reuse Commands into ML-like Programs",
  author = "Oukseh Lee and Hongseok Yang and Kwangkeun Yi",
  year = "2003",
  address = "San Diego, California",
  booktitle = "Proceedings of the 10th Annual International Static Analysis Symposium",
  isbn = "3-540-40325-6",
  month = "June",
  pages = "171--188",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  url = "http://www.cs.ox.ac.uk/people/hongseok.yang/paper/safe-memory-reuse-ML.ps",
  volume = "2694",
}