Optimized Live Heap Bound Analysis
Abstract elided by the publisher.
Related papers
- Live heap space analysis for languages with garbage collection ISMM 2009
- Parametric heap usage analysis for functional programs ISMM 2009
- Live Heap Space Bounds for Real-Time Systems APLAS 2010
- Heap reference analysis using access graphs TOPLAS 2007
- Parametric inference of memory requirements for garbage collected languages ISMM 2010
- Will It Fit? Verifying Heap Space Bounds of Concurrent Programs under Garbage Collection TOPLAS 2025
- Analysis and reduction of memory inefficiencies in Java strings OOPSLA 2008
- Garbage collection using a finite liveness domain ISMM 2020