Footprint Analysis: A Shape Analysis That Discovers Preconditions
Abstract elided by the publisher.
Related papers
- Shape Analysis via Second-Order Bi-Abduction CAV 2014
- Dynamic shape analysis via degree metrics ISMM 2009
- SLING: using dynamic analysis to infer program invariants in separation logic PLDI 2019
- Proof-Directed Parallelization Synthesis by Separation Logic TOPLAS 2013
- WaterWise: Co-optimizing Carbon- and Water-Footprint Toward Environmentally Sustainable Cloud Computing PPoPP 2025
- Snugglebug: a powerful approach to weakest preconditions PLDI 2009
- Static specification inference using predicate mining PLDI 2007
- Shape Analysis Quantitative Shape Analysis SAS 2004