Yuntao Lu

Biography

I am a third-year Ph.D. student in Computer Science at the Chinese University of Hong Kong (CUHK), under the supervision of Prof. Bei Yu. I hold an M.S. degree in Information Studies from the University of Texas at Austin (UT Austin) in 2020 and an M.S. degree in Computer Science from the University of Science and Technology of China (USTC), under the supervision of Prof. Xuehai Zhou and Prof. Chao Wang, in 2018. I obtained a B.Eng. degree in Software Engineering from the University of Electronic Science and Technology of China (UESTC) in 2015.

Research Interests

• Artificial Intelligence
• RTL Verification
• Performance Optimization

Publications

Conference Papers

6. Hongduo Liu, Yuntao Lu, Mingjun Wang, Xufeng Yao, and Bei Yu.
   “LLM-Assisted Circuit Verification: A Comprehensive Survey.” IEEE/ACM Asia and South Pacific Design Automation Conference (ASP-DAC), Jan. 19–22, 2026, pp. 439–446.
7. Yuntao Lu, Mingjun Wang, Yihan Wen, Boyu Han, Jianan Mu, Huawei Li, and Bei Yu.
   “VIRTUAL: Vector-based Dynamic Power Estimation via Decoupled Multi-Modality Learning.” IEEE/ACM International Conference on Computer-Aided Design (ICCAD), Munich, Germany, Oct. 26–30, 2025.
8. Yuhao Ji, Yuntao Lu, Zuodong Zhang, Zizheng Guo, Yibo Lin, and Bei Yu.
   “DiffCCD: Differentiable Concurrent Clock and Data Optimization.” IEEE/ACM International Conference on Computer-Aided Design (ICCAD), Munich, Germany, Oct. 26–30, 2025.
9. Yuntao Lu, Dehua Liang, Siting Liu, Yuhao Ji, Yu Zhang, Xuanqi Chen, Xia Lin, Jinlei Lu, Weihua Sheng, and Bei Yu.
   “A Hybrid Optimization Framework for Power-Efficient Pulsed Latch Utilization in Clock Networks.” ACM/IEEE International Symposium on Machine Learning for CAD (MLCAD), Santa Cruz, USA, Sep. 8–10, 2025.
10. Yuntao Lu, Lei Gong, Chongchong Xu, Fan Sun, Yiwei Zhang, Chao Wang, and Xuehai Zhou.
    “A High-performance FPGA Accelerator for Sparse Neural Networks: Work-in-Progress.” International Conference on Compilers, Architectures and Synthesis for Embedded Systems Companion (CASES), Seoul, Oct. 15–20, 2017.
11. Chongchong Xu, Jinhong Zhou, Yuntao Lu, Fan Sun, Lei Gong, Chao Wang, Xi Li, and Xuehai Zhou.
    “Evaluation and Trade-offs of Graph Processing for Cloud Services.” IEEE International Conference on Web Services (ICWS), Honolulu, USA, Jun. 25–30, 2017.

Journal Papers

2. Yuntao Lu, Chen Bai, Yuxuan Zhao, Ziyue Zheng, Yangdi Lyu, Mingyu Liu, and Bei Yu.
   “DeepVerifier: Learning to Update Test Sequences for Coverage-Guided Verification.” ACM Transactions on Design Automation of Electronic Systems (TODAES), ACM, Mar. 2025.
3. Yuntao Lu, Lei Gong, Chao Wang, and Xuehai Zhou.
   “SparseNN: A Performance-Efficient Accelerator for Large-Scale Sparse Neural Networks.” International Journal of Parallel Programming (IJPP), Springer, Aug. 2018.

Book Chapters

1. Yuntao Lu, Chao Wang, Lei Gong, Xi Li, Aili Wang, and Xuehai Zhou.
   “Overview of Neural Network Accelerators.” In High Performance Computing for Big Data: Methodologies and Applications, Chapman and Hall/CRC, 2017, pp. 107–120.

Experience