Liqian Chen - RankMe

90 papers A* 4A 9B 11C 9Misc 4Journal 34Unranked 17

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Affine Disjunctive Invariant Generation with Farkas' Lemma. VMCAI (1) Jingyu Ke, Hongfei Fu, Hongming Liu, Zhouyue Sun, Liqian Chen, Guoqiang Li
2025	J	`jnl`	Bridging Operator Semantic Inconsistencies: A Source-Level Cross-Framework Model Conversion Approach. Proc. ACM Softw. Eng. Xingpei Li, Yan Lei, Zhouyang Jia, Yuanliang Zhang, Haoran Liu, Liqian Chen, Wei Dong, Shan-shan Li
2025	Misc	`ed.`	Dependable Software Engineering. Theories, Tools, and Applications - 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, Proceedings SETTA Timothy Bourke, Liqian Chen, Amir Kafshdar Goharshady
2025	C	`conf`	Detecting Vector Container Errors in C++ Programs via Abstract Interpretation. ICFEM Siyu Liu, Liqian Chen, Guangsheng Fan, Banghu Yin, Chun Huang, Ji Wang
2025	J	`jnl`	Divide-and-Conquer: Automating Code Revisions via Localization-and-Revision. ACM Trans. Softw. Eng. Methodol. Shangwen Wang, Bo Lin, Liqian Chen, Xiaoguang Mao
2025	J	`jnl`	Exploring the Security Threats of Knowledge Base Poisoning in Retrieval-Augmented Code Generation. CoRR Bo Lin, Shangwen Wang, Liqian Chen, Xiaoguang Mao
2025	A	`conf`	Fine-Grained Global Search for Inputs Triggering Floating-Point Exceptions in Gpu Programs. IPDPS Xin Yi, Hengbiao Yu, Liqian Chen, Xiaoguang Mao, Ji Wang, Chun Huang, Deheng Yang
2025	A*	`conf`	Give LLMs a Security Course: Securing Retrieval-Augmented Code Generation via Knowledge Injection. CCS Bo Lin, Shangwen Wang, Yihao Qin, Liqian Chen, Xiaoguang Mao
2025	J	`jnl`	Give LLMs a Security Course: Securing Retrieval-Augmented Code Generation via Knowledge Injection. CoRR Bo Lin, Shangwen Wang, Yihao Qin, Liqian Chen, Xiaoguang Mao
2025	J	`jnl`	Invariant Generation for Floating-Point Programs via Constraint Solving. CoRR Xuran Cai, Liqian Chen, Hongfei Fu
2025	J	`jnl`	Keep It Simple: Self-Adaptive Code Graph Simplification for Accurate Vulnerability Detection. IEEE Trans. Software Eng. Xin Peng, Shangwen Wang, Yihao Qin, Bo Lin, Liqian Chen, Jieren Cheng, Xiaoguang Mao
2025	J	`jnl`	Large Language Models-Aided Program Debloating. CoRR Bo Lin, Shangwen Wang, Yihao Qin, Liqian Chen, Xiaoguang Mao
2025	J	`jnl`	Large Language Models-Aided Program Debloating. IEEE Trans. Software Eng. Bo Lin, Shangwen Wang, Yihao Qin, Liqian Chen, Xiaoguang Mao
2025	—	`conf`	Learning Subject to Constraints via Abstract Gradient Descent. NeuS Shiwen Yu, Wanwei Liu, Zengyu Liu, Liqian Chen, Ting Wang, Naijun Zhan, Ji Wang
2025	A*	`conf`	Let the Code Speak: Incorporating Program Dynamic State for Better Method-Level Fault Localization. ASE Yihao Qin, Shangwen Wang, Bo Lin, Xin Peng, Sheng Ouyang, Liqian Chen, Xiaoguang Mao
2025	J	`jnl`	Program Analysis Combining Generalized Bit-Level and Word-Level Abstractions. Proc. ACM Softw. Eng. Guangsheng Fan, Liqian Chen, Banghu Yin, Wenyu Zhang, Peisen Yao, Ji Wang
2025	J	`jnl`	Smoke and Mirrors: Jailbreaking LLM-based Code Generation via Implicit Malicious Prompts. CoRR Sheng Ouyang, Yihao Qin, Bo Lin, Liqian Chen, Xiaoguang Mao, Shangwen Wang
2025	C	`conf`	Trace: Test Repair via Agent-based Context Extraction with LLMs. APSEC Jingxiang Tu, Bo Lin, Yihao Qin, Shangwen Wang, Liqian Chen, Xiaoguang Mao
2025	C	`conf`	Verifying Neural Network Controlled Systems by Combining Forward and Backward Reachability Analysis. QRS Xinyu Wang, Liqian Chen, Zengyu Liu, Minghao Li, Banghu Yin
2025	B	`conf`	Verifying Neural Network Controlled Systems by Combining Taylor Models and Linear Abstract Domains. ICECCS Minghao Li, Liqian Chen, Xinyu Wang, Shifu Yang, Yuan Zhou, Ji Wang
2024	—	`conf`	F-IKOS: An Abstract Interpretation-based Static Analyzer for Fortran Programs. QuASoQ@APSEC Sheng Zou, Liqian Chen, Guangsheng Fan, Renjie Huang, Banghu Yin
2024	J	`jnl`	FPCC: Detecting Floating-Point Errors via Chain Conditions. Proc. ACM Program. Lang. Xin Yi, Hengbiao Yu, Liqian Chen, Xiaoguang Mao, Ji Wang
2024	J	`jnl`	Fault Localization from the Semantic Code Search Perspective. CoRR Yihao Qin, Shangwen Wang, Yan Lei, Zhuo Zhang, Bo Lin, Xin Peng, Liqian Chen, Xiaoguang Mao
2024	J	`jnl`	Keep It Simple: Towards Accurate Vulnerability Detection for Large Code Graphs. CoRR Xin Peng, Shangwen Wang, Yihao Qin, Bo Lin, Liqian Chen, Xiaoguang Mao
2024	—	`conf`	MatsVD: Boosting Statement-Level Vulnerability Detection via Dependency-Based Attention. Internetware Cheng Weng, Yihao Qin, Bo Lin, Pei Liu, Liqian Chen
2024	A	`conf`	One Size Does Not Fit All: Multi-granularity Patch Generation for Better Automated Program Repair. ISSTA Bo Lin, Shangwen Wang, Ming Wen, Liqian Chen, Xiaoguang Mao
2024	C	`conf`	Sound Floating-Point Neural Network Verification with MILP. APSEC Shifu Yang, Liqian Chen, Banghu Yin, Minghao Li, Yuan Zhou, Ji Wang
2024	A	`conf`	Synthesizing Boxes Preconditions for Deep Neural Networks. ISSTA Zengyu Liu, Liqian Chen, Wanwei Liu, Ji Wang
2024	—	`conf`	T-RAP: A Template-guided Retrieval-Augmented Vulnerability Patch Generation Approach. Internetware Pei Liu, Bo Lin, Yihao Qin, Cheng Weng, Liqian Chen
2024	J	`jnl`	There are More Fish in the Sea: Automated Vulnerability Repair via Binary Templates. CoRR Bo Lin, Shangwen Wang, Liqian Chen, Xiaoguang Mao
2023	J	`jnl`	Affine Disjunctive Invariant Generation with Farkas' Lemma. CoRR Hongming Liu, Jingyu Ke, Hongfei Fu, Liqian Chen, Guoqiang Li
2023	Misc	`conf`	An Abstract Domain of Linear Templates with Disjunctive Right-Hand-Side Intervals. SETTA Han Xu, Liqian Chen, Guangsheng Fan, Banghu Yin, Ji Wang
2023	—	`conf`	Input Validation for Neural Networks via Local Robustness Verification. QRS Companion Jiangchao Liu, Liqian Chen, Antoine Miné, Hengbiao Yu, Ji Wang
2023	A*	`conf`	Potential Solutions to Challenges in C Program Repair: A Practical Perspective. ASE Jifeng Xuan, Qi Xin, Liqian Chen, Xiaoguang Mao
2023	J	`jnl`	Static analysis of linear absolute value equalities among variables of a program. Sci. Comput. Program. Liqian Chen, Dengping Wei, Banghu Yin, Ji Wang
2022	J	`jnl`	Automated regression unit test generation for program merges. Sci. China Inf. Sci. Tao Ji, Liqian Chen, Xiaoguang Mao, Xin Yi, Jiahong Jiang
2022	J	`jnl`	Efficient Complete Verification of Neural Networks via Layerwised Splitting and Refinement. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang
2022	B	`conf`	Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing. FASE Liqian Chen, Renjie Huang, Dan Luo, Chenghu Ma, Dengping Wei, Ji Wang
2022	J	`jnl`	Grammar-based fuzz testing for microprocessor RTL design. Integr. Dan Luo, Tun Li, Liqian Chen, Hongji Zou, Mingchuan Shi
2022	C	`conf`	NuMFUZZ: A Floating-Point Format Aware Fuzzer for Numerical Programs. APSEC Chenghu Ma, Liqian Chen, Xin Yi, Guangsheng Fan, Ji Wang
2022	A*	`conf`	TransplantFix: Graph Differencing-based Code Transplantation for Automated Program Repair. ASE Deheng Yang, Xiaoguang Mao, Liqian Chen, Xuezheng Xu, Yan Lei, David Lo, Jiayu He
2022	—	`conf`	Using Fuzzing to Help Abstract Interpretation Based Program Verification. QRS Companion Renjie Huang, Banghu Yin, Liqian Chen
2021	Misc	`conf`	An Abstract Domain to Infer Linear Absolute Value Equalities. TASE Liqian Chen, Banghu Yin, Dengping Wei, Ji Wang
2021	J	`jnl`	Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation. Formal Aspects Comput. Pengfei Yang, Jianlin Li, Jiangchao Liu, Cheng-Chao Huang, Renjue Li, Liqian Chen, Xiaowei Huang, Lijun Zhang
2021	A	`conf`	Making Rigorous Linear Programming Practical for Program Analysis. CP Tengbin Wang, Liqian Chen, Taoqing Chen, Guangsheng Fan, Ji Wang
2021	C	`conf`	On Enhancing Application-Ability Training in Discrete Mathematics. FIE Tun Li, Wanwei Liu, Liqian Chen, Xiaoguang Mao
2021	C	`conf`	Static Analysis of Resource Usage Bounds for Imperative Programs. APSEC Liqian Chen, Taoqing Chen, Guangsheng Fan, Banghu Yin
2021	A	`conf`	Static Bound Analysis of Dynamically Allocated Resources for C Programs. ISSRE Guangsheng Fan, Taoqing Chen, Banghu Yin, Liqian Chen, Tengbin Wang, Ji Wang
2020	J	`jnl`	Automated Regression Unit Test Generation for Program Merges. CoRR Tao Ji, Liqian Chen, Xiaoguang Mao, Xin Yi, Jiahong Jiang
2020	—	`conf`	Detecting numerical bugs in neural network architectures. ESEC/SIGSOFT FSE Yuhao Zhang, Luyao Ren, Liqian Chen, Yingfei Xiong, Shing-Chi Cheung, Tao Xie
2020	J	`jnl`	Evolutionary Conflict Checking. CoRR Tao Ji, Liqian Chen, Xiaoguang Mao, Xin Yi, Jiahong Jiang
2020	J	`jnl`	Hierarchical Analysis of Loops With Relaxed Abstract Transformers. IEEE Trans. Reliab. Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang
2020	J	`jnl`	Input Validation for Neural Networks via Runtime Local Robustness Verification. CoRR Jiangchao Liu, Liqian Chen, Antoine Miné, Ji Wang
2020	—	`ed.`	Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, NSAD 2020, Virtual, USA, 17 November 2020 NSAD@SAS Liqian Chen, Khalil Ghorbal
2020	A	`conf`	Understanding Merge Conflicts and Resolutions in Git Rebases. ISSRE Tao Ji, Liqian Chen, Xin Yi, Xiaoguang Mao
2019	B	`conf`	Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification. SAS Jianlin Li, Jiangchao Liu, Pengfei Yang, Liqian Chen, Xiaowei Huang, Lijun Zhang
2019	J	`jnl`	Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification. CoRR Pengfei Yang, Jiangchao Liu, Jianlin Li, Liqian Chen, Xiaowei Huang, Lijun Zhang
2019	J	`jnl`	Efficient automated repair of high floating-point errors in numerical libraries. Proc. ACM Program. Lang. Xin Yi, Liqian Chen, Xiaoguang Mao, Tao Ji
2019	A	`conf`	How Different Is It Between Machine-Generated and Developer-Provided Patches? : An Empirical Study on the Correct Patches Generated by Automated Program Repair Techniques. ESEM Shangwen Wang, Ming Wen, Liqian Chen, Xin Yi, Xiaoguang Mao
2019	J	`jnl`	How Different Is It Between Machine-Generated and Developer-Provided Patches? An Empirical Study on The Correct Patches Generated by Automated Program Repair Techniques. CoRR Shangwen Wang, Ming Wen, Liqian Chen, Xin Yi, Xiaoguang Mao
2019	B	`conf`	Verifying Numerical Programs via Iterative Abstract Testing. SAS Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang, Patrick Cousot
2018	—	`ch.`	Analyzing Interrupt Handlers via Interprocedural Summaries. Symposium on Real-Time and Hybrid Systems Xueguang Wu, Liqian Chen, Ji Wang
2018	J	`jnl`	Automatic Verification of Embedded System Code Manipulating Dynamic Structures Stored in Contiguous Regions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Jiangchao Liu, Liqian Chen, Xavier Rival
2018	—	`conf`	Identifying Supplementary Bug-fix Commits. COMPSAC (1) Tao Ji, Jinkun Pan, Liqian Chen, Xiaoguang Mao
2017	A	`conf`	Automated Repair of High Inaccuracies in Numerical Programs. ICSME Xin Yi, Liqian Chen, Xiaoguang Mao, Tao Ji
2017	B	`conf`	Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT. VMCAI Jiahong Jiang, Liqian Chen, Xueguang Wu, Ji Wang
2017	C	`conf`	Efficient Global Search for Inputs Triggering High Floating-Point Inaccuracies. APSEC Xin Yi, Liqian Chen, Xiaoguang Mao, Tao Ji
2017	—	`conf`	Quantitative Analysis of Learning Data in a Programming Course. DASFAA Workshops Yu Bai, Liqian Chen, Gang Yin, Xinjun Mao, Ye Deng, Tao Wang, Yao Lu, Huaimin Wang
2016	—	`conf`	Analyzing Math Library Functions via Summarization. QRS Companion Jiahong Jiang, Liqian Chen, Yanjun Wen, Wei Dong, Ling Wen
2016	B	`conf`	Automated Program Repair by Using Similar Code Containing Fix Ingredients. COMPSAC Tao Ji, Liqian Chen, Xiaoguang Mao, Xin Yi
2016	J	`jnl`	Static Analysis of Runtime Errors in Interrupt-Driven Programs via Sequentialization. ACM Trans. Embed. Comput. Syst. Xueguang Wu, Liqian Chen, Antoine Miné, Wei Dong, Ji Wang
2015	J	`jnl`	基于指向与数值抽象的带指针算术程序的分析方法 (Analysis of Programs with Pointer Arithmetic by Combining Points-to and Numerical Abstractions). 计算机科学 Banghu Yin, Liqian Chen, Ji Wang
2014	B	`conf`	An Abstract Domain to Infer Octagonal Constraints with Absolute Value. SAS Liqian Chen, Jiangchao Liu, Antoine Miné, Deepak Kapur, Ji Wang
2014	—	`conf`	An Abstract Domain to Infer Symbolic Ranges over Nonnegative Parameters. NSAD Xueguang Wu, Liqian Chen, Ji Wang
2014	J	`jnl`	Automatic recovery from resource exhaustion exceptions by collecting leaked resources. J. Zhejiang Univ. Sci. C Ziying Dai, Xiaoguang Mao, Liqian Chen, Yan Lei
2014	J	`jnl`	Robustness Analysis of Floating-Point Programs by Self-Composition. J. Appl. Math. Liqian Chen, Jiahong Jiang, Banghu Yin, Wei Dong, Ji Wang
2014	J	`jnl`	Static analysis of lists by combining shape and numerical abstractions. Sci. Comput. Program. Liqian Chen, Renjian Li, Xueguang Wu, Ji Wang
2013	—	`conf`	Data Race Detection for Interrupt-Driven Programs via Bounded Model Checking. SERE (Companion) Xueguang Wu, Yanjun Wen, Liqian Chen, Wei Dong, Ji Wang
2013	—	`conf`	Finding related events for specification mining. ISSRE (Supplemental Proceedings) Ziying Dai, Xiaoguang Mao, Liqian Chen, Yan Lei, Yi Zhang
2013	—	`conf`	Leveraging specifications of subcomponents to mine precise specifications of composite components. WCRE Ziying Dai, Xiaoguang Mao, Yan Lei, Liqian Chen
2013	Misc	`conf`	Static analysis of list-manipulating programs via bit-vectors and numerical abstractions. SAC Liqian Chen, Renjian Li, Xueguang Wu, Ji Wang
2012	—	`conf`	Invalid Pointer Dereferences Detection for CPS Software Based on Extended Pointer Structures. SERE (Companion) Longming Dong, Wei Dong, Liqian Chen
2012	—	`conf`	Modular Heap Abstraction-Based Code Clone Detection for Heap-Manipulating Programs. QSIC Longming Dong, Ji Wang, Liqian Chen
2012	C	`conf`	Modular Heap Abstraction-Based Memory Leak Detection for Heap-Manipulating Programs. APSEC Longming Dong, Ji Wang, Liqian Chen
2011	A	`conf`	Linear Absolute Value Relation Analysis. ESOP Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot
2011	J	`jnl`	Quantitative analysis for symbolic heap bounds of CPS software. Comput. Sci. Inf. Syst. Renjian Li, Ji Wang, Liqian Chen, Wanwei Liu, Dengping Wei
2010	B	`conf`	An Abstract Domain to Discover Interval Linear Equalities. VMCAI Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot
2010	B	`conf`	Simple and Precise Widenings for APLAS Axel Simon, Liqian Chen
2009	B	`conf`	Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships. SAS Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot
2008	B	`conf`	A Sound Floating-Point Polyhedra Abstract Domain. APLAS Liqian Chen, Antoine Miné, Patrick Cousot