Liqian Chen

I am a Full Professor in the College of Computer Science and Technology at the National University of Defense Technology (NUDT), Changsha, China.

E-mail: lqchen AT nudt.edu.cn

Research Interests:

My research interests include program analysis/verification, abstract interpretation, automated program repair.

Service:

SETTA 2024: The 10th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2024), Hong Kong, China, Nov. 26-28, 2024. Program Co-chair.
SAS 2024/2023/2022/2018/2017/2015 TASE 2024/2023/2022/2021/2019 SETTA 2023/2022/2021 Internetware 2022/2020 NSAD 2020/2016/2014 FM 2024 Embedded Systems Track APSEC 2024 ERA Track. Program/ArtifactEvaluation committee member.

Software:

Apron: a library for Numerical Abstract Domains.
AutoRNP: a dynamic analysis tool for automatically detecting and repairing high floating-point errors in numerical programs.

Publications: (DBLP)

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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 für Informatik, Dagstuhl Publishing, Germany. [PDF]

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]

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]

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]

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

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]