HEC: Equivalence Verification Checking for Code Transformation via Equality Saturation.

Jiaqi Yin, Zhan Song, Nicolas Bohm Agostini, Antonino Tumeo, Cunxi Yu

Browse the full USENIX paper archive.