| 2026 | AAAI | BDD2Seq: Enabling Scalable Reversible-Circuit Synthesis via Graph-to-Sequence Learning. | Mingkai Miao, Jianheng Tang, Guangyu Hu, Hongce Zhang |
| 2026 | ACL | Beyond Overlap Metrics: Rewarding Reasoning and Preferences for Faithful Multi-Role Dialogue Summarization. | Xiaoyong Mei, Tingting Zuo, Da Chen, Guangyu Hu, Xiangyu Wen, Chao Duan, Mingyan Zhang, Fudan Zheng |
| 2026 | CAV | Untitled record | Xiaofeng Zhou, Guangyu Hu, Hongce Zhang, Wei Zhang |
| 2026 | DATE | eLogic: An E-Graph-based Logic Rewriting Framework for Majority-Inverter Graphs. | Rongliang Fu, Wei Xuan, Shuo Yin, Guangyu Hu, Chen Chen, Hongce Zhang, Bei Yu, Tsung-Yi Ho |
| 2026 | DATE | FORWORD: Accelerating Formal Datapath Verification via Word-Level Sweeping. | Ziyi Yang, Guangyu Hu, Xiaofeng Zhou, Mingkai Miao, Changyuan Yu, Wei Zhang, Hongce Zhang |
| 2026 | FCCM | AutoINV: Automated Invariant Generation Framework for Formal Verification on High-Level Synthesis Designs. | Xiaofeng Zhou, Linfeng Du, Guangyu Hu, Sharad Sinha, Hongce Zhang, Wei Zhang |
| 2026 | ISCAS | SegSEM: Enabling and Enhancing SAM2 for SEM Contour Extraction. | Da Chen, Guangyu Hu, Kaihong Xu, Kaichao Liang, Songjiang Li, Wei Yang, XiangYu Wen, Mingxuan Yuan |
| 2026 | TACAS | EvolveGen : Algorithmic Level Hardware Model Checking Benchmark Generation through Reinforcement Learning. | Guangyu Hu, Xiaofeng Zhou, Wei Zhang, Hongce Zhang |
| 2025 | DAC | E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis. | Chen Chen, Guangyu Hu, Cunxi Yu, Yuzhe Ma, Hongce Zhang |
| 2025 | HCI | Interactive Design of Plant Cultivation Based on an App Platform: Application Research of Virtual IP Characters and Affective Computing. | Guangyu Hu, Yang Cao, Yihang Dai |
| 2025 | ICCD | Hot-FV: A Semi-Formal Test Generation Framework for RTL Functional Coverage Using Warm Starting States. | Ziyue Zheng, Zhiyuan Yan, Xiangchen Meng, Guangyu Hu, Hongce Zhang, Yangdi Lyu |
| 2024 | ASPDAC | DeepIC3: Guiding IC3 Algorithms by Graph Neural Network Clause Prediction. | Guangyu Hu, Jianheng Tang, Changyuan Yu, Wei Zhang, Hongce Zhang |
| 2024 | DAC | E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis. | Chen Chen, Guangyu Hu, Dongsheng Zuo, Cunxi Yu, Yuzhe Ma, Hongce Zhang |
| 2011 | ETFA | A novel traffic shaping algorithm with delay jitter constraints for real-time multimedia networks. | Hairui Zhou, Jian Li, Fei Hu, Guangyu Hu, Yeqiong Song, Lina He |