Publications

---

Publications:   (DBLP)

• [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. [PDF]

• [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. [PDF]

• [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, Mon 20 - Tue 21 January 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]

• [APSEC 2024] Shifu Yang, Liqian Chen, Banghu Yin, Minghao Li, Yuan Zhou and Ji Wang. Sound Floating-Point Neural Network Verification with MILP. In Proceedings of the 31st Asia-Pacific Software Engineering Conference (APSEC 2024), December 3-6, 2024, Chongqing, China. [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]

• [Internetware 2024] Cheng Weng, Yihao Qin, Bo Lin, Pei Liu and Liqian Chen. MatsVD: Boosting Statement-Level Vulnerability Detection via Dependency-Based Attention. In Proceedings of the 15th Asia-Pacific Symposium on Internetware (Internetware 2024), ACM, New York, NY, USA, Pages 115 - 124, July 24–26, 2024, Macau, China. [PDF]

• [Internetware 2024] Pei Liu, Bo Lin, Yihao Qin, Cheng Weng, and Liqian Chen. T-RAP: A Template-guided Retrieval-Augmented Vulnerability Patch Generation Approach. . In Proceedings of the 15th Asia-Pacific Symposium on Internetware (Internetware 2024), ACM, New York, NY, USA, Pages 105 - 114, July 24–26, 2024, Macau, China. [PDF]

• [ASE 2023] Jifeng Xuan, Qi Xin, Liqian Chen and Xiaoguang Mao. Potential Solutions to Challenges in C Program Repair: A Practical Perspective. In Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023), IEEE, pages 1963--1968, Luxembourg, September 11-15, 2023. [PDF]

• [SETTA 2023] Han Xu, Liqian Chen, Guangsheng Fan, Banghu Yin and Ji Wang. An Abstract Domain of Linear Templates with Disjunctive Right-hand-side Intervals. In Proceedings of the 9th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2023), volume 14464 of LNCS, pages 314-330, Nanjing, China, November 27-29, 2023. [PDF]

• [JCRAD 2023] Liqian Chen, Guangsheng Fan, Banghu Yin, Ji Wang. Research Progress on Abstract Interpretation and Its Application. Journal of Computer Research and Development, 2023, 60(2): 227-247. (In Chinese)   [PDF]

• [SCP 2023] Liqian Chen, Dengping Wei, Banghu Yin, Ji Wang. Static analysis of linear absolute value equalities among variables of a program. Science of Computer Programming. Volume 225, January 2023.   [PDF]

• [TCAD 2022] Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang. Efficient Complete Verification of Neural Networks via Layer-wised Splitting and Refinement. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), Volume 41, Issue 11, Pages 3898 - 3909, November 2022.   [PDF]

• [APSEC 2022] Chenghu Ma, Liqian Chen, Xin Yi, Guangsheng Fan, Ji Wang. NUMFUZZ: A Floating-Point Format Aware Fuzzer for Numerical Programs. In Proc. of the 29th Asia-Pacific Software Engineering Conference (APSEC 2022), Virtual, December 06-09, 2022.   [PDF]

• [ASE 2022] Deheng Yang, Xiaoguang Mao, Liqian Chen, Xuezheng Xu, Yan Lei, David Lo, Jiayu He. TransplantFix: Graph Differencing-based Code Transplantation for Automated Program Repair. In Proc. of the 37th IEEE/ACM International Conference on Automated Software Engineering (ASE 2022), Oakland Center, Michigan, United States, Oct 10-14, 2022.   [PDF]

• [FASE 2022] Liqian Chen, Renjie Huang, Dan Luo, Chenghu Ma, Dengping Wei, Ji Wang. Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing. In Proc. of the 25th International Conference on Fundamental Approaches to Software Engineering (FASE 2022), volume 13241 of LNCS, pages 92-101, Springer, Munich, Germany, April 2-7, 2022.   [PDF]

• [FAOC 2021] Pengfei Yang, Jianlin Li, Jiangchao Liu, Cheng-Chao Huang, Renjue Li, Liqian Chen, Xiaowei Huang, Lijun Zhang. Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation. Formal Aspects of Computing, 33(3): 407-435 (2021).   [PDF]

• [ISSRE 2021] Guangsheng Fan, Taoqing Chen, Banghu Yin, Liqian Chen, Tengbin Wang, Ji Wang. Static Bound Analysis of Dynamically Allocated Resources for C Programs. In Proc. of the 32nd International Symposium on Software Reliability Engineering (ISSRE 2021), Wuhan, China.   [PDF]

• [CP 2021] Tengbin Wang, Liqian Chen, Taoqing Chen, Guangsheng Fan, Ji Wang. Making Rigorous Linear Programming Practical for Program Analysis. In Proc. of the 27th International Conference on Principles and Practice of Constraint Programming (CP 2021), Article No. 22; pp. 22:1–22:17, Leibniz International Proceedings in Informatics Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany.   [PDF]

• [TASE 2021] Liqian Chen, Banghu Yin, Dengping Wei, Ji Wang. An Abstract Domain to Infer Linear Absolute Value Equalities. In Proc. of the 15th International Symposium on Theoretical Aspects of Software Engineering (TASE 2021), pages 47-54, IEEE, August 25-27, 2021, Shanghai, China.   [PDF]

• [FSE 2020] Yuhao Zhang, Luyao Ren, Liqian Chen, Yingfei Xiong, Shing-Chi Cheung, Tao Xie. Detecting Numerical Bugs in Neural Network Architectures. In Proc. of the 2020 ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2020), pages 826-837, ACM, Sacramento, California, United States, November 8-13, 2020.   (ACM SIGSOFT Distinguished Paper Award)   [PDF] [VIDEO] [TOOL:DEBAR]

• [ISSRE 2020] Tao Ji, Liqian Chen, Xin Yi and Xiaoguang Mao. Understanding Merge Conflicts and Resolutions in Git Rebases. In Proc. of the 31st IEEE International Symposium on Software Reliability Engineering (ISSRE 2020), pages 70-80, IEEE, Coimbra, Portugal, October 12-15, 2020.   [PDF]

• [TR 2020] Banghu Yin, Liqian Chen, Jiangchao Liu and Ji Wang. Hierarchical analysis of loops with relaxed abstract transformers. IEEE Transactions on Reliability (TR), 69(1): 203-215, 2020.   [PDF]

• [SAS 2019] Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang and Patrick Cousot. Verifying Numerical Programs via Iterative Abstract Testing. In Proc. of the 26th Static Analysis Symposium (SAS 2019), volume 11822 of LNCS, pages 247--267, Springer, Porto, Portugal, October 9-11, 2019.   [PDF]

• [SAS 2019] Jianlin Li, Jiangchao Liu, Pengfei Yang, Liqian Chen, Xiaowei Huang and Lijun Zhang. Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification. In Proc. of the 26th Static Analysis Symposium (SAS 2019), volume 11822 of LNCS, pages 296--319, Springer, Porto, Portugal, October 9-11, 2019.   [PDF]

• [ESEM 2019] Shangwen Wang, Ming Wen, Liqian Chen, Xin Yi and Xiaoguang Mao. How Different Is It Between Machine-Generated and Developer-Provided Patches? An Empirical Study on The Correct Patches Generated by Automated Program Repair Techniques. In Proc. of the 2019 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM 2019), Porto de Galinhas-PE, Brazil, September 19-20, 2019.   [PDF]

• [POPL 2019] Xin Yi, Liqian Chen, Xiaoguang Mao and Tao Ji. Efficient Automated Repair of High Floating-Point Errors in Numerical Libraries. In Proc. of the 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019), Proceedings of the ACM on Programming Languages (PACMPL), Vol. 3, No. POPL, Article 56, 29 pages, Cascais, Lisbon, Portugal, January 13 - 19, 2019.   [PDF] [TOOL:AutoRNP]

• [TCAD 2018] Jiangchao Liu, Liqian Chen and Xavier Rival. Automatic Verification of Embedded System Code Manipulating Dynamic Structures Stored in Contiguous Regions. In Proc. of the 18th ACM SIGBED International Conference on Embedded Software (EMSOFT 2018), IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD) special issue, September 30 - October 5, 2018, Torino, Italy.   [PDF]

• [COMPSAC 2018] Tao Ji, Jinkun Pan, Liqian Chen, Xiaoguang Mao. Identifying Supplementary Bug-fix Commits. In Proc. of the 42nd IEEE Computer Society International Conference on Computers, Software & Applications (COMPSAC 2018), IEEE Computer Society, Volume 1, pp. 184-193, July 23-27, 2018, Tokyo, Japan.   [PDF]

• [APSEC 2017] Xin Yi, Liqian Chen, Xiaoguang Mao and Tao Ji. Efficient Global Search for Inputs Triggering High Floating-Point Inaccuracies. In Proc. of the 24th Asia-Pacific Software Engineering Conference (APSEC 2017), IEEE Computer Society, pp. 11-20, December 4-8, 2017, Nanjing, China. (Best Paper Award)   [PDF]

• [ICSME 2017] Xin Yi, Liqian Chen, Xiaoguang Mao and Tao Ji. Automated Repair of High Inaccuracies in Numerical Programs. In Proc. of the 33rd IEEE International Conference on Software Maintenance and Evolution (ICSME 2017), IEEE Computer Society, pp. 514-518, September 17-24, 2017, Shanghai, China.   [PDF]   [Slides]

• [VMCAI 2017] Jiahong Jiang, Liqian Chen, Xueguang Wu and Ji Wang. Block-wise abstract interpretation by combining abstract domains with SMT . The 18th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2017), volume 10145 of LNCS, pages 310-329, Springer, Paris, France, January 15-17, 2017.   [PDF]   [Slides]

• [TECS 2016] Xueguang Wu, Liqian Chen, Antoine Miné, Wei Dong and Ji Wang. Static Analysis of Run-Time Errors in Interrupt-Driven Programs via Sequentialization. ACM Transactions on Embedded Computing Systems (TECS) , Volume 15, Issue 4, Article No.70, pages 1-26, August 2016.   [PDF]

• [COMPSAC 2016] Tao Ji, Liqian Chen, Xiaoguang Mao and Xin Yi. Automated Program Repair by Using Similar Code Containing Fix Ingredients. In Proc. of the 40th IEEE Computer Society International Conference on Computers, Software & Applications (COMPSAC 2016), IEEE Computer Society, pp. 197-202, June 10-14, 2016, Atlanta, Georgia, USA.   [PDF]

• [EMSOFT 2015] Xueguang Wu, Liqian Chen, Antoine Miné, Wei Dong and Ji Wang. Numerical Static Analysis of Interrupt-driven Programs via Sequentialization. In Proc. of the 15th ACM SIGBED International Conference on Embedded Software (EMSOFT 2015), ACM press, October 4-9, 2015, Amsterdam, The Netherlands. (Best Paper Award Nomination)   PDF]   [Slides]

• [SAS 2014] Liqian Chen, Jiangchao Liu, Antoine Miné, Deepak Kapur and Ji Wang. An Abstract Domain to Infer Octagonal Constraints with Absolute Value. In Proc. of the 21st International Static Analysis Symposium (SAS 2014), volume 8723 of LNCS, pages 156-175, Springer, Munich, Germany, Setpember 11-13, 2014.   [PDF]   [Slides]

• [NSAD 2014] Xueguang Wu, Liqian Chen and Ji Wang. An Abstract Domain to Infer Symbolic Ranges over Nonnegative Parameters. In Proc. of the 5th International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2014), volume 307 of ENTCS, pages 33-45, Munich, Germany, Setpember 10, 2014.   [PDF]   [Slides]

• [SCP 2014)] Liqian Chen, Renjian Li, Xueguang Wu and Ji Wang. Static Analysis of Lists by combining shape and numerical abstractions . Science of Computer Programming (2014), http://dx.doi.org/10.1016/j.scico.2014.06.004.   [PDF]

• [JAM 2014)] Liqian Chen, Jiahong Jiang, Banghu Yin, Wei Dong and Ji Wang. Robustness Analysis of Floating-Point Programs by Self-Composition. Journal of Applied Mathematics, vol. 2014, Article ID 789213, 12 pages, 2014.   [PDF]

• [JZUSC 2014] Ziying Dai, Xiaoguang Mao, Liqian Chen and Yan Lei. Automatic recovery from resource exhaustion exceptions by collecting leaked resources. Journal of Zhejiang University - SCIENCE C (Computers & Electronics), 15(8): 622-635 (2014).   [PDF]

• [ISSRE 2013] Ziying Dai, Xiaoguang Mao, Liqian Chen, Yan Lei and Yi Zhang. Finding Related Events for Specification Mining. In Proc. of the 24th IEEE International Symposium on Software Reliability Engineering (ISSRE 2013)(Supplemental Proceedings), IEEE Computer Society, pp.1-2, Pasadena, CA, USA, November 4-7, 2013.   [PDF]

• [WCRE 2013] Ziying Dai, Xiaoguang Mao, Yan Lei, and Liqian Chen. Leveraging Specifications of Subcomponents to Mine Precise Specifications of Composite Components. In Proc. of the 20th Working Conference on Reverse Engineering (WCRE 2013), IEEE Computer Society, pp. 162-171, Koblenz, Germany, October 14-17, 2013.   [PDF]

• [SERE 2013] Xueguang Wu, Yanjun Wen, Liqian Chen, Wei Dong, Ji Wang. Data Race Detection for Interrupt-Driven Programs via Bounded Model Checking. In Proc. of the 7th International Conference on Software Security and Reliability (SERE 2013) (Companion), IEEE Computer Society, pp. 204-210, Washington, D.C., USA, 18-20, June, 2013.   [PDF]

• [SAC 2013] Liqian Chen, Renjian Li, Xueguang Wu and Ji Wang. Static Analysis of List-Manipulating Programs via Bit-Vectors and Numerical Abstractions. In Proc. of the 28th Symposium On Applied Computing (SAC 2013), pages 1204-1210, ACM, Coimbra, Portugal, March 18-22, 2013.   [PDF]   [Slides]

• [APSEC 2012] Longming Dong, Ji Wang and Liqian Chen. Modular Heap Abstraction-based Memory Leak Detection for Heap-manipulating Programs. In Proc. of the 19th Asia-Pacific Software Engineering Conference (APSEC 2012), pages 20-29, IEEE, Hongkong, December 4-7, 2012.   [PDF]   [Slides]

• [ESOP 2011] Liqian Chen, Antoine Miné, Ji Wang and Patrick Cousot. Linear Absolute Value Relation Analysis. In Proc. of the 20th European Symposium on Programming(ESOP 2011), volume 6602 of LNCS, pages 156-175, Springer, Saarbrucken, Germany, Mar 30-Apr 1, 2011.   [PDF]   [Slides]

• [APLAS 2010] Axel Simon and Liqian Chen. Simple and Precise Widenings for H-Polyhedra. In Proc. of the 8th Asian Symposium on Programming Languages and Systems (APLAS 2010), volume 6461 of LNCS, pages 139-155, Springer, Shanghai, China, Nov 28-Dec 1, 2010.   [PDF]

• [VMCAI 2010] Liqian Chen, Antoine Miné, Ji Wang and Patrick Cousot. An Abstract Domain to Discover Interval Linear Equalities. In Proc. of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2010), volume 5944 of LNCS, pages 112-128, Springer, Madrid, Spain, Jan 17-19, 2010.   [PDF]   [Slides]

• [SAS 2009] Liqian Chen, Antoine Miné, Ji Wang and Patrick Cousot. Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships. In Proc. of the 16th International Static Analysis Symposium (SAS 2009), volume 5673 of LNCS, pages 309-325, Springer, Los Angeles, CA, USA, Aug 9-11, 2009.  [PDF]

• [APLAS 2008] Liqian Chen, Antoine Miné and Patrick Cousot. A Sound Floating-Point Polyhedra Abstract Domain. In Proc. of the 6th Asian Symposium on Programming Languages and Systems (APLAS 2008), volume 5356 of LNCS, pages 3-18, Springer, Bangalore, India, Dec 9-11, 2008.   [PDF]