Zhan Song
Scholar

Zhan Song

Google Scholar ID: DdVCoawAAAAJ
University of Maryland
EDA
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
3
 
H-index
1
 
i10-index
0
 
Publications
4
 
Co-authors
0
 
Contact
Emailzhansong@umd.eduCVOpen ↗GitHubOpen ↗LinkedInOpen ↗
Publications
4 items
ReVEAL: GNN-Guided Reverse Engineering for Formal Verification of Optimized Multipliers
2025
Cited
0
e-boost: Boosted E-Graph Extraction with Adaptive Heuristics and Exact Solving
2025
Cited
0
HEC: Equivalence Verification Checking for Code Transformation via Equality Saturation
2025
Cited
0
BoolE: Exact Symbolic Reasoning via Boolean Equality Saturation
2025
Cited
0
Resume (English only)
Academic Achievements
  • Paper 'e-boost: Boosted E-Graph Extraction with Adaptive Heuristics and Exact Solving' received Best Paper Nomination at ICCAD 2025
  • Paper 'BoolE: Exact Symbolic Reasoning via Boolean Equality Saturation' (co-first author) received Best Paper Nomination at DAC 2025
  • Paper 'HEC: Equivalence Verification Checking for Code Transformation via Equality Saturation' accepted by USENIX ATC 2025
  • Paper 'Noise-Aware Circuit Clustering based on Analytical Placement Evolution' (corresponding author) published at SLIP 2024
  • Oct. 2022: Second Prize, Invent Week Landing Awards, eBay China Center of Excellence (CCOE) (Top 5%)
  • Fudan University Scholarship in 2020, 2022, and 2023
Co-authors
0 total
Co-authors: 0 (list not available)