@inproceedings{unnikrishnan03optimized,
author="Leena Unnikrishnan and Scott D. Stoller and Yanhong A. Liu",
title="Optimized Live Heap Bound Analysis",
booktitle="Proc.\ 4th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI)",
month=jan,
year=2003,
series="Lecture Notes in Computer Science",
volume=2575,
pages="70-85",
publisher="Springer-Verlag"
}