Resource Analysis of Complex Programs with Cost Equations
No abstract available.
Related papers
- An Order Theory Framework of Recurrence Equations for Static Cost Analysis - Dynamic Inference of Non-Linear Inequality Invariants SAS 2024
- Patterns and statistical analysis for understanding reduced resource computing OOPSLA 2010
- Asymptotic Resource Usage Bounds APLAS 2009
- Modeling and analyzing evaluation cost of CUDA kernels POPL 2021
- For a Few Dollars More - Verified Fine-Grained Algorithm Analysis Down to LLVM ESOP 2021
- Raising expectations: automating expected cost analysis with types ICFP 2020
- For a Few Dollars More: Verified Fine-Grained Algorithm Analysis Down to LLVM TOPLAS 2022
- Cost Analysis of Smart Contracts Via Parametric Resource Analysis SAS 2020