A Sound Floating-Point Polyhedra Abstract Domain. - Liqian Chen; Antoine Miné; Patrick Cousot (APLAS, 2008)

Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships. - Liqian Chen; Antoine Miné; Ji Wang 001; Patrick Cousot (SAS, 2009)

Simple and Precise Widenings for H-Polyhedra. - Axel Simon; Liqian Chen (APLAS, 2010)

An Abstract Domain to Discover Interval Linear Equalities. - Liqian Chen; Antoine Miné; Ji Wang 001; Patrick Cousot (VMCAI, 2010)

Linear Absolute Value Relation Analysis. - Liqian Chen; Antoine Miné; Ji Wang 001; Patrick Cousot (ESOP, 2011)

Quantitative analysis for symbolic heap bounds of CPS software. - Renjian Li; Ji Wang 001; Liqian Chen; Wanwei Liu; Dengping Wei (Comput. Sci. Inf. Syst., 2011)

Modular Heap Abstraction-Based Memory Leak Detection for Heap-Manipulating Programs. - Longming Dong; Ji Wang 001; Liqian Chen (APSEC, 2012)

Modular Heap Abstraction-Based Code Clone Detection for Heap-Manipulating Programs. - Longming Dong; Ji Wang 001; Liqian Chen (QSIC, 2012)

Invalid Pointer Dereferences Detection for CPS Software Based on Extended Pointer Structures. - Longming Dong; Wei Dong 006; Liqian Chen (SERE (Companion), 2012)

Finding related events for specification mining. - Ziying Dai; Xiaoguang Mao; Liqian Chen; Yan Lei; Yi Zhang (ISSRE (Supplemental Proceedings), 2013)

Static analysis of list-manipulating programs via bit-vectors and numerical abstractions. - Liqian Chen; Renjian Li; Xueguang Wu; Ji Wang 001 (SAC, 2013)

Data Race Detection for Interrupt-Driven Programs via Bounded Model Checking. - Xueguang Wu; Yanjun Wen; Liqian Chen; Wei Dong 006; Ji Wang 001 (SERE (Companion), 2013)

Leveraging specifications of subcomponents to mine precise specifications of composite components. - Ziying Dai; Xiaoguang Mao; Yan Lei; Liqian Chen (WCRE, 2013)

An Abstract Domain to Infer Octagonal Constraints with Absolute Value. - Liqian Chen; Jiangchao Liu; Antoine Miné; Deepak Kapur; Ji Wang 001 (SAS, 2014)

An Abstract Domain to Infer Symbolic Ranges over Nonnegative Parameters. - Xueguang Wu; Liqian Chen; Ji Wang 001 (NSAD, 2014)

Robustness Analysis of Floating-Point Programs by Self-Composition. - Liqian Chen; Jiahong Jiang; Banghu Yin; Wei Dong 006; Ji Wang 001 (J. Appl. Math., 2014)

Automatic recovery from resource exhaustion exceptions by collecting leaked resources. - Ziying Dai; Xiaoguang Mao; Liqian Chen; Yan Lei (J. Zhejiang Univ. Sci. C, 2014)

Static analysis of lists by combining shape and numerical abstractions. - Liqian Chen; Renjian Li; Xueguang Wu; Ji Wang 001 (Sci. Comput. Program., 2014)

基于指向与数值抽象的带指针算术程序的分析方法 (Analysis of Programs with Pointer Arithmetic by Combining Points-to and Numerical Abstractions). - Banghu Yin; Liqian Chen; Ji Wang 001 (计算机科学, 2015)

Automated Program Repair by Using Similar Code Containing Fix Ingredients. - Tao Ji; Liqian Chen; Xiaoguang Mao; Xin Yi (COMPSAC, 2016)

Analyzing Math Library Functions via Summarization. - Jiahong Jiang; Liqian Chen; Yanjun Wen; Wei Dong 006; Ling Wen (QRS Companion, 2016)

Static Analysis of Runtime Errors in Interrupt-Driven Programs via Sequentialization. - Xueguang Wu; Liqian Chen; Antoine Miné; Wei Dong 006; Ji Wang 001 (ACM Trans. Embed. Comput. Syst., 2016)

Efficient Global Search for Inputs Triggering High Floating-Point Inaccuracies. - Xin Yi; Liqian Chen; Xiaoguang Mao; Tao Ji (APSEC, 2017)

Quantitative Analysis of Learning Data in a Programming Course. - Yu Bai 010; Liqian Chen; Gang Yin; Xinjun Mao; Ye Deng; Tao Wang 006; Yao Lu 003; Huaimin Wang (DASFAA Workshops, 2017)

Automated Repair of High Inaccuracies in Numerical Programs. - Xin Yi; Liqian Chen; Xiaoguang Mao; Tao Ji (ICSME, 2017)

Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT. - Jiahong Jiang; Liqian Chen; Xueguang Wu; Ji Wang 001 (VMCAI, 2017)

Analyzing Interrupt Handlers via Interprocedural Summaries. - Xueguang Wu; Liqian Chen; Ji Wang 001 (Symposium on Real-Time and Hybrid Systems, 2018)

Identifying Supplementary Bug-fix Commits. - Tao Ji; Jinkun Pan; Liqian Chen; Xiaoguang Mao (COMPSAC (1), 2018)

Automatic Verification of Embedded System Code Manipulating Dynamic Structures Stored in Contiguous Regions. - Jiangchao Liu; Liqian Chen; Xavier Rival (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

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 001; Liqian Chen; Xin Yi; Xiaoguang Mao (ESEM, 2019)

Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification. - Jianlin Li; Jiangchao Liu; Pengfei Yang 002; Liqian Chen; Xiaowei Huang 001; Lijun Zhang 001 (SAS, 2019)

Verifying Numerical Programs via Iterative Abstract Testing. - Banghu Yin; Liqian Chen; Jiangchao Liu; Ji Wang 001; Patrick Cousot (SAS, 2019)

Efficient automated repair of high floating-point errors in numerical libraries. - Xin Yi; Liqian Chen; Xiaoguang Mao; Tao Ji (Proc. ACM Program. Lang., 2019)

Understanding Merge Conflicts and Resolutions in Git Rebases. - Tao Ji; Liqian Chen; Xin Yi; Xiaoguang Mao (ISSRE, 2020)

Detecting numerical bugs in neural network architectures. - Yuhao Zhang 005; Luyao Ren; Liqian Chen; Yingfei Xiong 001; Shing-Chi Cheung; Tao Xie 001 (ESEC/SIGSOFT FSE, 2020)

Input Validation for Neural Networks via Runtime Local Robustness Verification. - Jiangchao Liu; Liqian Chen; Antoine Miné; Ji Wang 001 (CoRR, 2020)

Evolutionary Conflict Checking. - Tao Ji; Liqian Chen; Xiaoguang Mao; Xin Yi; Jiahong Jiang (CoRR, 2020)

Hierarchical Analysis of Loops With Relaxed Abstract Transformers. - Banghu Yin; Liqian Chen; Jiangchao Liu; Ji Wang 001 (IEEE Trans. Reliab., 2020)

Static Analysis of Resource Usage Bounds for Imperative Programs. - Liqian Chen; Taoqing Chen; Guangsheng Fan; Banghu Yin (APSEC, 2021)

Making Rigorous Linear Programming Practical for Program Analysis. - Tengbin Wang; Liqian Chen; Taoqing Chen; Guangsheng Fan; Ji Wang 001 (CP, 2021)

On Enhancing Application-Ability Training in Discrete Mathematics. - Tun Li; Wanwei Liu; Liqian Chen; Xiaoguang Mao (FIE, 2021)

Static Bound Analysis of Dynamically Allocated Resources for C Programs. - Guangsheng Fan; Taoqing Chen; Banghu Yin; Liqian Chen; Tengbin Wang; Ji Wang 001 (ISSRE, 2021)

An Abstract Domain to Infer Linear Absolute Value Equalities. - Liqian Chen; Banghu Yin; Dengping Wei; Ji Wang 001 (TASE, 2021)

Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation. - Pengfei Yang 002; Jianlin Li; Jiangchao Liu; Cheng-Chao Huang; Renjue Li; Liqian Chen; Xiaowei Huang 001; Lijun Zhang 001 (Formal Aspects Comput., 2021)

NuMFUZZ: A Floating-Point Format Aware Fuzzer for Numerical Programs. - Chenghu Ma; Liqian Chen; Xin Yi; Guangsheng Fan; Ji Wang 001 (APSEC, 2022)

Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing. - Liqian Chen; Renjie Huang; Dan Luo; Chenghu Ma; Dengping Wei; Ji Wang 001 (FASE, 2022)

TransplantFix: Graph Differencing-based Code Transplantation for Automated Program Repair. - Deheng Yang; Xiaoguang Mao; Liqian Chen; Xuezheng Xu; Yan Lei; David Lo 001; Jiayu He (ASE, 2022)

Using Fuzzing to Help Abstract Interpretation Based Program Verification. - Renjie Huang; Banghu Yin; Liqian Chen (QRS Companion, 2022)

Automated regression unit test generation for program merges. - Tao Ji; Liqian Chen; Xiaoguang Mao; Xin Yi; Jiahong Jiang (Sci. China Inf. Sci., 2022)

Grammar-based fuzz testing for microprocessor RTL design. - Dan Luo; Tun Li; Liqian Chen; Hongji Zou; Mingchuan Shi (Integr., 2022)

Efficient Complete Verification of Neural Networks via Layerwised Splitting and Refinement. - Banghu Yin; Liqian Chen; Jiangchao Liu; Ji Wang 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

Potential Solutions to Challenges in C Program Repair: A Practical Perspective. - Jifeng Xuan; Qi Xin; Liqian Chen; Xiaoguang Mao (ASE, 2023)

Input Validation for Neural Networks via Local Robustness Verification. - Jiangchao Liu; Liqian Chen; Antoine Miné; Hengbiao Yu; Ji Wang 001 (QRS Companion, 2023)

An Abstract Domain of Linear Templates with Disjunctive Right-Hand-Side Intervals. - Han Xu; Liqian Chen; Guangsheng Fan; Banghu Yin; Ji Wang 001 (SETTA, 2023)

Affine Disjunctive Invariant Generation with Farkas' Lemma. - Hongming Liu; Jingyu Ke; Hongfei Fu 001; Liqian Chen; Guoqiang Li 001 (CoRR, 2023)

Static analysis of linear absolute value equalities among variables of a program. - Liqian Chen; Dengping Wei; Banghu Yin; Ji Wang 001 (Sci. Comput. Program., 2023)

Sound Floating-Point Neural Network Verification with MILP. - Shifu Yang; Liqian Chen; Banghu Yin; Minghao Li; Yuan Zhou; Ji Wang 001 (APSEC, 2024)

F-IKOS: An Abstract Interpretation-based Static Analyzer for Fortran Programs. - Sheng Zou; Liqian Chen; Guangsheng Fan; Renjie Huang; Banghu Yin (QuASoQ@APSEC, 2024)

T-RAP: A Template-guided Retrieval-Augmented Vulnerability Patch Generation Approach. - Pei Liu; Bo Lin; Yihao Qin; Cheng Weng; Liqian Chen (Internetware, 2024)

MatsVD: Boosting Statement-Level Vulnerability Detection via Dependency-Based Attention. - Cheng Weng; Yihao Qin; Bo Lin; Pei Liu; Liqian Chen (Internetware, 2024)

One Size Does Not Fit All: Multi-granularity Patch Generation for Better Automated Program Repair. - Bo Lin; Shangwen Wang; Ming Wen 001; Liqian Chen; Xiaoguang Mao (ISSTA, 2024)

Synthesizing Boxes Preconditions for Deep Neural Networks. - Zengyu Liu; Liqian Chen; Wanwei Liu; Ji Wang 001 (ISSTA, 2024)

Fault Localization from the Semantic Code Search Perspective. - Yihao Qin; Shangwen Wang; Yan Lei; Zhuo Zhang 007; Bo Lin; Xin Peng; Liqian Chen; Xiaoguang Mao (CoRR, 2024)

There are More Fish in the Sea: Automated Vulnerability Repair via Binary Templates. - Bo Lin; Shangwen Wang; Liqian Chen; Xiaoguang Mao (CoRR, 2024)

Keep It Simple: Towards Accurate Vulnerability Detection for Large Code Graphs. - Xin Peng; Shangwen Wang; Yihao Qin; Bo Lin; Liqian Chen; Xiaoguang Mao (CoRR, 2024)

FPCC: Detecting Floating-Point Errors via Chain Conditions. - Xin Yi; Hengbiao Yu; Liqian Chen; Xiaoguang Mao; Ji Wang 001 (Proc. ACM Program. Lang., 2024)

FPCC: Detecting Floating-Point Errors via Chain Conditions (Paper Artifact). - Xin Yi; Hengbiao Yu; Liqian Chen; Xiaoguang Mao; Ji Wang 001 (Zenodo, 2024)

Fine-Grained Global Search for Inputs Triggering Floating-Point Exceptions in Gpu Programs. - Xin Yi; Hengbiao Yu; Liqian Chen; Xiaoguang Mao; Ji Wang 001; Chun Huang; Deheng Yang (IPDPS, 2025)

Learning Subject to Constraints via Abstract Gradient Descent. - Shiwen Yu; Wanwei Liu; Zengyu Liu; Liqian Chen; Ting Wang 009; Naijun Zhan; Ji Wang 001 (NeuS, 2025)

Affine Disjunctive Invariant Generation with Farkas' Lemma. - Jingyu Ke; Hongfei Fu 001; Hongming Liu; Zhouyue Sun; Liqian Chen; Guoqiang Li 001 (VMCAI (1), 2025)

Program Analysis Combining Generalized Bit-Level and Word-Level Abstractions. - Guangsheng Fan; Liqian Chen; Banghu Yin; Wenyu Zhang; Peisen Yao; Ji Wang 001 (Proc. ACM Softw. Eng., 2025)

Bridging Operator Semantic Inconsistencies: A Source-Level Cross-Framework Model Conversion Approach. - Xingpei Li; Yan Lei; Zhouyang Jia; Yuanliang Zhang; Haoran Liu; Liqian Chen; Wei Dong 006; Shan-shan Li 001 (Proc. ACM Softw. Eng., 2025)

Exploring the Security Threats of Knowledge Base Poisoning in Retrieval-Augmented Code Generation. - Bo Lin; Shangwen Wang; Liqian Chen; Xiaoguang Mao (CoRR, 2025)

Large Language Models-Aided Program Debloating. - Bo Lin; Shangwen Wang; Yihao Qin; Liqian Chen; Xiaoguang Mao (CoRR, 2025)

Smoke and Mirrors: Jailbreaking LLM-based Code Generation via Implicit Malicious Prompts. - Sheng Ouyang; Yihao Qin; Bo Lin; Liqian Chen; Xiaoguang Mao; Shangwen Wang (CoRR, 2025)

Divide-and-Conquer: Automating Code Revisions via Localization-and-Revision. - Shangwen Wang; Bo Lin; Liqian Chen; Xiaoguang Mao (ACM Trans. Softw. Eng. Methodol., 2025)

Give LLMs a Security Course: Securing Retrieval-Augmented Code Generation via Knowledge Injection. - Bo Lin; Shangwen Wang; Yihao Qin; Liqian Chen; Xiaoguang Mao (CoRR, 2025)

Invariant Generation for Floating-Point Programs via Constraint Solving. - Xuran Cai; Liqian Chen; Hongfei Fu 001 (CoRR, 2025)