Liqian Chen
Scholar

Liqian Chen

Google Scholar ID: vCe9aLkAAAAJ
Professor, National University of Defense Technology, China
Program analysis & verificationAbstract interpretationProgram repair
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,506
 
H-index
17
 
i10-index
27
 
Publications
20
 
Co-authors
8
list available
Contact
No contact links provided.
Publications
5 items
Invariant Generation for Floating-Point Programs via Constraint Solving
2025
Cited
0
Give LLMs a Security Course: Securing Retrieval-Augmented Code Generation via Knowledge Injection
2025
Cited
0
Smoke and Mirrors: Jailbreaking LLM-based Code Generation via Implicit Malicious Prompts
2025
Cited
0
Large Language Models-Aided Program Debloating
2025
Cited
0
Exploring the Security Threats of Knowledge Base Poisoning in Retrieval-Augmented Code Generation
2025
Cited
0
Resume (English only)
Co-authors
8 total
Mao Xiaoguang
Mao Xiaoguang
National University of Defense Technology
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Patrick Cousot
Patrick Cousot
Professor of Computer Science, Courant Institute of Mathematical Sciences, New York University
Xiaowei Huang
Xiaowei Huang
Professor of Computer Science, University of Liverpool
Deepak Kapur
Deepak Kapur
University of New Mexico
Co-author 7
Co-author 7
Co-author 8
Co-author 8