vix.ing · top · new · best · stats · spec

Song Zhan

  1. HEC: Equivalence Verification Checking for Code Transformation via Equality Saturation
    2025/06/02 by Jiaqi Yin, Song Zhan, Yin, Jiaqi +7 · 4 citations
    Computer Science · #Embedded Systems Design Techniques #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL)