| 2026 | CAV | Polynomial Invariant Generation for Floating-Point Programs. | Xuran Cai, Liqian Chen, Hongfei Fu |
| 2025 | APSEC | Trace: Test Repair via Agent-based Context Extraction with LLMs. | Jingxiang Tu, Bo Lin, Yihao Qin, Shangwen Wang, Liqian Chen, Xiaoguang Mao |
| 2025 | CCS | Give LLMs a Security Course: Securing Retrieval-Augmented Code Generation via Knowledge Injection. | Bo Lin, Shangwen Wang, Yihao Qin, Liqian Chen, Xiaoguang Mao |
| 2025 | ICECCS | Verifying Neural Network Controlled Systems by Combining Taylor Models and Linear Abstract Domains. | Minghao Li, Liqian Chen, Xinyu Wang, Shifu Yang, Yuan Zhou, Ji Wang |
| 2025 | ICFEM | Detecting Vector Container Errors in C++ Programs via Abstract Interpretation. | Siyu Liu, Liqian Chen, Guangsheng Fan, Banghu Yin, Chun Huang, Ji Wang |
| 2025 | QRS | Verifying Neural Network Controlled Systems by Combining Forward and Backward Reachability Analysis. | Xinyu Wang, Liqian Chen, Zengyu Liu, Minghao Li, Banghu Yin |
| 2025 | VMCAI | Affine Disjunctive Invariant Generation with Farkas' Lemma. | Jingyu Ke, Hongfei Fu, Hongming Liu, Zhouyue Sun, Liqian Chen, Guoqiang Li |
| 2024 | APSEC | Sound Floating-Point Neural Network Verification with MILP. | Shifu Yang, Liqian Chen, Banghu Yin, Minghao Li, Yuan Zhou, Ji Wang |
| 2024 | APSEC | F-IKOS: An Abstract Interpretation-based Static Analyzer for Fortran Programs. | Sheng Zou, Liqian Chen, Guangsheng Fan, Renjie Huang, Banghu Yin |
| 2024 | ISSTA | One Size Does Not Fit All: Multi-granularity Patch Generation for Better Automated Program Repair. | Bo Lin, Shangwen Wang, Ming Wen, Liqian Chen, Xiaoguang Mao |
| 2024 | ISSTA | Synthesizing Boxes Preconditions for Deep Neural Networks. | Zengyu Liu, Liqian Chen, Wanwei Liu, Ji Wang |
| 2023 | QRS | Input Validation for Neural Networks via Local Robustness Verification. | Jiangchao Liu, Liqian Chen, Antoine Min, Hengbiao Yu, Ji Wang |
| 2023 | SETTA | An Abstract Domain of Linear Templates with Disjunctive Right-Hand-Side Intervals. | Han Xu, Liqian Chen, Guangsheng Fan, Banghu Yin, Ji Wang |
| 2022 | APSEC | NuMFUZZ: A Floating-Point Format Aware Fuzzer for Numerical Programs. | Chenghu Ma, Liqian Chen, Xin Yi, Guangsheng Fan, Ji Wang |
| 2022 | FASE | Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing. | Liqian Chen, Renjie Huang, Dan Luo, Chenghu Ma, Dengping Wei, Ji Wang |
| 2022 | QRS | Using Fuzzing to Help Abstract Interpretation Based Program Verification. | Renjie Huang, Banghu Yin, Liqian Chen |
| 2021 | APSEC | Static Analysis of Resource Usage Bounds for Imperative Programs. | Liqian Chen, Taoqing Chen, Guangsheng Fan, Banghu Yin |
| 2021 | CP | Making Rigorous Linear Programming Practical for Program Analysis. | Tengbin Wang, Liqian Chen, Taoqing Chen, Guangsheng Fan, Ji Wang |
| 2021 | FIE | On Enhancing Application-Ability Training in Discrete Mathematics. | Tun Li, Wanwei Liu, Liqian Chen, Xiaoguang Mao |
| 2021 | ISSRE | Static Bound Analysis of Dynamically Allocated Resources for C Programs. | Guangsheng Fan, Taoqing Chen, Banghu Yin, Liqian Chen, Tengbin Wang, Ji Wang |
| 2021 | TASE | An Abstract Domain to Infer Linear Absolute Value Equalities. | Liqian Chen, Banghu Yin, Dengping Wei, Ji Wang |
| 2020 | ISSRE | Understanding Merge Conflicts and Resolutions in Git Rebases. | Tao Ji, Liqian Chen, Xin Yi, Xiaoguang Mao |
| 2019 | ESEM | How Different Is It Between Machine-Generated and Developer-Provided Patches? : An Empirical Study on the Correct Patches Generated by Automated Program Repair Techniques. | Shangwen Wang, Ming Wen, Liqian Chen, Xin Yi, Xiaoguang Mao |
| 2019 | SAS | Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification. | Jianlin Li, Jiangchao Liu, Pengfei Yang, Liqian Chen, Xiaowei Huang, Lijun Zhang |
| 2019 | SAS | Verifying Numerical Programs via Iterative Abstract Testing. | Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang, Patrick Cousot |
| 2018 | COMPSAC | Identifying Supplementary Bug-fix Commits. | Tao Ji, Jinkun Pan, Liqian Chen, Xiaoguang Mao |
| 2017 | APSEC | Efficient Global Search for Inputs Triggering High Floating-Point Inaccuracies. | Xin Yi, Liqian Chen, Xiaoguang Mao, Tao Ji |
| 2017 | DASFAA | Quantitative Analysis of Learning Data in a Programming Course. | Yu Bai, Liqian Chen, Gang Yin, Xinjun Mao, Ye Deng, Tao Wang, Yao Lu, Huaimin Wang |
| 2017 | VMCAI | Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT. | Jiahong Jiang, Liqian Chen, Xueguang Wu, Ji Wang |
| 2016 | COMPSAC | Automated Program Repair by Using Similar Code Containing Fix Ingredients. | Tao Ji, Liqian Chen, Xiaoguang Mao, Xin Yi |
| 2016 | QRS | Analyzing Math Library Functions via Summarization. | Jiahong Jiang, Liqian Chen, Yanjun Wen, Wei Dong, Ling Wen |
| 2014 | SAS | An Abstract Domain to Infer Octagonal Constraints with Absolute Value. | Liqian Chen, Jiangchao Liu, Antoine Min, Deepak Kapur, Ji Wang |
| 2013 | ISSRE | Finding related events for specification mining. | Ziying Dai, Xiaoguang Mao, Liqian Chen, Yan Lei, Yi Zhang |
| 2013 | SAC | Static analysis of list-manipulating programs via bit-vectors and numerical abstractions. | Liqian Chen, Renjian Li, Xueguang Wu, Ji Wang |
| 2012 | APSEC | Modular Heap Abstraction-Based Memory Leak Detection for Heap-Manipulating Programs. | Longming Dong, Ji Wang, Liqian Chen |
| 2011 | ESOP | Linear Absolute Value Relation Analysis. | Liqian Chen, Antoine Min, Ji Wang, Patrick Cousot |
| 2010 | APLAS | Simple and Precise Widenings for | Axel Simon, Liqian Chen |
| 2010 | VMCAI | An Abstract Domain to Discover Interval Linear Equalities. | Liqian Chen, Antoine Min, Ji Wang, Patrick Cousot |
| 2009 | SAS | Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships. | Liqian Chen, Antoine Min, Ji Wang, Patrick Cousot |
| 2008 | APLAS | A Sound Floating-Point Polyhedra Abstract Domain. | Liqian Chen, Antoine Min, Patrick Cousot |