Optimized Live Heap Bound Analysis
Leena Unnikrishnan, Scott D. Stoller, and Yanhong A. Liu.

This paper describes a general approach for optimized live heap space and live heap space-bound analyses for garbage-collected languages. The approach is based on program analysis and transformations and is fully automatic. In our experience, the space-bound analysis generally produces accurate (tight) upper bounds in the presence of partially known input structures. The optimization drastically improves the analysis efficiency. The analyses have been implemented and experimental results confirm their accuracy and efficiency.

BibTeX    PDF

Scott Stoller's Home Page