Bingkun Yao Department of Computer Science, City University of Hong Kong E-mail:bingkun.yao@cityu.edu.cn Tat Chee Avenue, Kowloon Tong, Kowloon, Hong Kong SAR, China

I am Bingkun Yao, a Postdoc from Department of Computer Science, City University of Hong Kong. I am supervised by Professor Nan Guan. Prior to this, I received my Ph.D. degree from School of Computer Science and Technology, Harbin Institute of Technology, under the supervision of Professor Hong Gao. During 2022-2023, I was a visiting student at National University of Singapore, where I worked with Professor Mun Choon Chan. My research focuses on LLM4eda and IoT system design.

Educational Background

Postdoc student,  City University of Hong Kong,  2024.2-present

Ph.D. Student,  Harbin Institute of Technology,  2018.9-2023.12

• Major: Computer Science

Joint Ph.D. Student,  National University of Singapore,  2022.8-2023.8

• Major: Computer Science

Bachelor of Engineering,  Harbin Institute of Technology,  2014.9 - 2018.6

• Major: Computer Science

Publications

• Bingkun Yao, Ning Wang, Jie Zhou, Xi Wang, Hong Gao, Zhe Jiang and Nan Guan, Location is Key: Leveraging LLM for Functional Bug Localization in Verilog Design, Accepted by DAC 2025.
• Bingkun Yao, Mun Choon Chan, Hong Gao, Zhe Jiang and Nan Guan, Age-of-Information Minimization for Data Aggregation in Energy-Harvesting IoTs, Accepted by DAC 2025.
• Jie Zhou, Youshu Ji, Ning Wang, Yuchen Hu, Xinyao Jiao, Bingkun Yao, Xinwei Fang, Nan Guan, Shuai Zhao and Zhe Jiang, Insights from Rights and Wrongs: A Large Language Model for Solving Assertion Failures in RTL Design, Accepted by DAC 2025.
• Bingkun Yao, Hong Gao, Yang Zhang, Dongjing Miao, Quan Chen and Jianzhong Li. Minimizing the AoI for Pull-Based Target-Level Data Collection in Energy-Harvesting IoTs, IEEE Transactions on Mobile Computing, Accepted, 2025.
• Ning Wang, Bingkun Yao, Jie Zhou, Xi Wang, Zhe Jiang and Nan Guan, Large Language Model for Verilog Generation with Code-Structure-Guided Reinforcement Learning, Accepted by LAD 2025.
• Ning Wang, Bingkun Yao, Jie Zhou, Xi Wang, Zhe Jiang and Nan Guan, VeriDebug: A Unified LLM for Verilog Debugging via Contrastive Embedding and Guided Correction, Accepted by LAD 2025.
• Bingkun Yao, Hong Gao, Yang Zhang, Jinbao Wang and Jianzhong Li. Maximum AoI Minimization for Target Monitoring in Battery-free WSNs, IEEE Transactions on Mobile Computing 22 (8), 4754-4772.
• Bingkun Yao, Hong Gao, Quan Chen and Jianzhong Li. Energy-Adaptive and Bottleneck-Aware Many-to-many Communication Scheduling for Battery-Free WSNs, IEEE Internet of Things Journal, 8(10), pp. 8514-8529, 2021.
• Bingkun Yao, Hong Gao and Jianzhong Li. Multicast Scheduling Algorithms for Battery-Free IoTs, in IEEE MASS 2019.

Awards & Honors

• National Scholarship, 2022
• PhD Fellowship of HIT, 2018
• Graduate National Scholarship, 2018