Yangdi Lyu
Scholar

Yangdi Lyu

Google Scholar ID: XPg8EdgAAAAJ
The Hong Kong University of Science and Technology (Guangzhou)
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
805
 
H-index
14
 
i10-index
17
 
Publications
20
 
Co-authors
0
 
Publications
9 items
NeuroAbs: A Neuro-Symbolic RTL Abstraction Framework for Property Checking Acceleration
2026
Cited
0
MiCoPro: End-to-End Mixed Precision HW/SW Co-design with HW-aware Proxy Model
2026
Cited
0
ChipVerilog: A Large-Scale OpenCores-Derived Benchmark for LLM-Based Verilog RTL Generation
2026
Cited
0
HiFuzz: Hierarchical Reinforcement Learning for Semantic-Aware and Adaptive CPU Fuzzing
2026
Cited
0
VerilogCL: A Contrastive Learning Framework for Robust LLM-Based Verilog Generation
2026
Cited
0
AutoVeriFix+: High-Correctness RTL Generation via Trace-Aware Causal Fix and Semantic Redundancy Pruning
2026
Cited
0
FedBit: Accelerating Privacy-Preserving Federated Learning via Bit-Interleaved Packing and Cross-Layer Co-Design
2025
Cited
0
AutoVeriFix: Automatically Correcting Errors and Enhancing Functional Correctness in LLM-Generated Verilog Code
2025
Cited
0
Resume
Academic Achievements
  • Published 30+ papers in peer-reviewed journals and premier conferences; 5 patents. Recent academic achievements include:
  • - Four papers accepted by DATE 2026
  • - Two papers accepted by ASPDAC 2026
  • - Two papers accepted by ICCD 2025
  • - One paper accepted by MLCAD 2025
  • - Two papers accepted by ICCAD 2025
  • - One paper accepted by DAC 2025
Research Experience
  • Worked as a software engineer at Google before joining HKUST(GZ).
Education
  • B.E. from Tsinghua University in 2011; Ph.D. from the University of Florida in 2020.
Background
  • Research Interests: Microprocessor testing and verification, Hardware/Software co-design, Accelerator for Homomorphic Encryption. Professional Field: Microelectronics.