APA (7th ed.) Citation

Yin, J., Song, Z., Agostini, N. B., Tumeo, A., & Yu, C. (2025). HEC: Equivalence Verification Checking for Code Transformation via Equality Saturation.

Chicago Style (17th ed.) Citation

Yin, Jiaqi, Zhan Song, Nicolas Bohm Agostini, Antonino Tumeo, and Cunxi Yu. HEC: Equivalence Verification Checking for Code Transformation via Equality Saturation. 2025.

MLA (9th ed.) Citation

Yin, Jiaqi, et al. HEC: Equivalence Verification Checking for Code Transformation via Equality Saturation. 2025.