| 2026 | CAV | Deadlock Verification via Ordering-Constrained Mutex Modeling. | Pei Wang, Zhilei Han, Zhihang Sun, Fei He |
| 2026 | FM | A Refined Ordering Consistency Theory: Full Sequential Consistency and Generalized Preventive Reasoning. | Zhiheng Cai, Zhihang Sun, Fei He |
| 2025 | AAAI | Towards Building Human-like Smart Agents in Modern 3D Video Games (Student Abstract). | Zhihang Sun, Shuhan Qi, Xinhao Huang, Xinyu Xiao, Jiajia Zhang, Xuan Wang, Peixi Peng |
| 2025 | IJCAI | Learning Neural Vocoder from Range-Null Space Decomposition. | Andong Li, Tong Lei, Zhihang Sun, Rilin Chen, Erwei Yin, Xiaodong Li, Chengshi Zheng |
| 2025 | IJCNN | SMRU-Lite: Efficient Low-Complexity Speech Enhancement Model with Uncertainty Estimation. | Zhiyu Zhang, Tong Lei, Zhihang Sun, Feiran Yang, Rilin Chen, Chunguo Li |
| 2025 | Interspeech | Scaling beyond Denoising: Submitted System and Findings in URGENT Challenge 2025. | Zhihang Sun, Andong Li, Tong Lei, Rilin Chen, Meng Yu, Chengshi Zheng, Yi Zhou, Dong Yu |
| 2022 | TACAS | Deagle: An SMT-based Verifier for Multi-threaded Programs (Competition Contribution). | Fei He, Zhihang Sun, Hongyu Fan |
| 2021 | PLDI | Satisfiability modulo ordering consistency theory for multi-threaded program verification. | Fei He, Zhihang Sun, Hongyu Fan |