Asparagus: Automated Synthesis of Parametric Gas Upper-Bounds for Smart Contracts.
Zhuo CaiSoroush FarokhniaAmir Kafshdar GoharshadyS. HitarthPublished in: Proc. ACM Program. Lang. (2023)
Keyphrases
- upper bound
- lower bound
- upper and lower bounds
- semi automated
- worst case
- genetic algorithm
- supply chain
- fully automated
- program synthesis
- lower and upper bounds
- branch and bound
- branch and bound algorithm
- parametric models
- error probability
- efficiently computable
- automated analysis
- tight bounds
- smart objects
- upper bounding
- texture synthesis
- sample complexity
- semi automatic
- np hard
- objective function