I am a Full Professor in the College of Computer Science and Technology at the National University of Defense Technology (NUDT), Changsha, China.
Research Interests:
- Program analysis/verification
- Abstract interpretation
- Automated program repair
Recent Papers:
- [ISSTA 2025] Guangsheng Fan, Liqian Chen, Banghu Yin, Wenyu Zhang, Peisen Yao, Ji Wang. Program Analysis Combining Generalized Bit-Level and Word-Level Abstractions. In Proceedings of the 34th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2025), June 25 - 28, 2025, Trondheim, Norway.
- [IPDPS 2025] Xin Yi, Hengbiao Yu, Liqian Chen, Xiaoguang Mao, Ji Wang, Chun Huang, Deheng Yang. Fine-Grained Global Search for Inputs Triggering Floating-Point Exceptions in GPU Programs. In Proceedings of the 39th IEEE International Parallel & Distributed Processing Symposium (IPDPS 2025), June 3-7, 2025, Milan, Italy.
- [VMCAI 2025] Jingyu Ke, Hongfei Fu, Hongming Liu, Zhouyue Sun, Liqian Chen and Guoqiang Li. Affine Disjunctive Invariant Generation with Farkas’ Lemma. In Proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2025), Denver, Colorado, United States, January 20 - 21, 2025. [PDF]
- [OOPSLA 2024] Xin Yi, Hengbiao Yu, Liqian Chen, Xiaoguang Mao, and Ji Wang. FPCC: Detecting Floating-Point Errors via Chain Conditions. In Proceedings of the ACM on Programming Languages 8, OOPSLA2 (OOPSLA 2024), Article 324 (October 2024), 28 pages. [PDF]
- [ISSTA 2024] Bo Lin, Shangwen Wang, Ming Wen, Liqian Chen, and Xiaoguang Mao. One Size Does Not Fit All: Multi-granularity Patch Generation for Better Automated Program Repair. In Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2024), September 16–20, 2024, Vienna, Austria. ACM, New York, NY, USA, 13 pages. (ACM SIGSOFT Distinguished Paper Award). [PDF]
- [ISSTA 2024] Zengyu Liu, Liqian Chen, Wanwei Liu, and Ji Wang. Synthesizing Boxes Preconditions for Deep Neural Networks. In Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2024), September 16–20, 2024, Vienna, Austria. ACM, New York, NY, USA, 12 pages.
[PDF] - [TOSEM 2024] Shangwen Wang, Bo Lin, Liqian Chen, and Xiaoguang Mao. Divide-and-Conquer: Automating Code Revisions via Localization-and-Revision. ACM Transactions on Software Engineering and Methodology (TOSEM). Online (September 2024), 25 pages. [PDF]
- …See all publications…
Recent Services
Conferences
- SAS 2025: Program Committee Member.
- SETTA 2024: Program Committee Co-Chair.
Journals
- Automated Software Engineering Journal : Guest Editor (Collection “Effective ProgramAnalysis and Testing for ModernSoftware Development”)