Announcement_2
Excited to announce that our paper “HEC: Equivalence Verification Checking for Code Transformation via Equality Saturation” has been accepted to USENIX ATC 2025! 
Excited to announce that our paper “HEC: Equivalence Verification Checking for Code Transformation via Equality Saturation” has been accepted to USENIX ATC 2025!