Exact and Linear-Time Gas-Cost Analysis
Abstract elided by the publisher.
Related papers
- GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts TACAS 2020
- Precise static modeling of Ethereum "memory" OOPSLA 2020
- Cost Analysis of Smart Contracts Via Parametric Resource Analysis SAS 2020
- Asparagus: Automated Synthesis of Parametric Gas Upper-Bounds for Smart Contracts OOPSLA 2023
- An interval constrained memory allocator for the Givy GAS runtime PPoPP 2016
- Efficient and Exact Data Dependence Analysis PLDI 1991
- Central moment analysis for cost accumulators in probabilistic programs PLDI 2021
- Linear and Non-linear Relational Analyses for Quantum Program Optimization POPL 2025