APA (7th ed.) Citation

Cai, Z., Farokhnia, S., Goharshady, A. K., & Hitarth, S. (2023). Asparagus: Automated Synthesis of Parametric Gas Upper-Bounds for Smart Contracts. Proceedings of ACM on programming languages, 7(OOPSLA2), 882-911. https://doi.org/10.1145/3622829

Chicago Style (17th ed.) Citation

Cai, Zhuo, Soroush Farokhnia, Amir Kafshdar Goharshady, and S. Hitarth. "Asparagus: Automated Synthesis of Parametric Gas Upper-Bounds for Smart Contracts." Proceedings of ACM on Programming Languages 7, no. OOPSLA2 (2023): 882-911. https://doi.org/10.1145/3622829.

MLA (9th ed.) Citation

Cai, Zhuo, et al. "Asparagus: Automated Synthesis of Parametric Gas Upper-Bounds for Smart Contracts." Proceedings of ACM on Programming Languages, vol. 7, no. OOPSLA2, 2023, pp. 882-911, https://doi.org/10.1145/3622829.