@inproceedings{LeYaYi2003,
   author = {Oukseh Lee and Hongseok Yang and Kwangkeun Yi},
   title = {Inserting Safe Memory Reuse Commands into ML-like Programs},
   booktitle = {Proceedings of the Annual International Static Analysis Symposium},
   series = {Lecture Notes in Computer Science},
   pages = {171--188},
   address = {San Diego, California},
   publisher = {Springer-Verlag},
   month = {June},
   year = {2003},
   category = {heap-analysis conference},
   format = {pdf},
}