Asparagus: Automated Synthesis of Parametric Gas Upper-Bounds for Smart Contracts

Zhuo Cai, Soroush Farokhnia, Amir Kafshdar Goharshady, S. Hitarth. Asparagus: Automated Synthesis of Parametric Gas Upper-Bounds for Smart Contracts. Proceedings of the ACM on Programming Languages, 7(OOPSLA2):882-911, October 2023. [doi]

Abstract

Abstract is missing.