Heap Decomposition Inference with Linear Programming
Abstract elided by the publisher.
Related papers
- Heap Decomposition for Concurrent Shape Analysis SAS 2008
- Integrating Resource Analyses via Resource Decomposition OOPSLA 2025
- Static prediction of heap space usage for first-order functional programs POPL 2003
- A Truly Symbolic Linear-Time Algorithm for SCC Decomposition TACAS 2023
- Precise and compact modular procedure summaries for heap manipulating programs PLDI 2011
- A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming ECOOP 2017
- TDC: Towards Extremely Efficient CNNs on GPUs via Hardware-Aware Tucker Decomposition PPoPP 2023
- Multi-core on-the-fly SCC decomposition PPoPP 2016