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
Co-author 4
Co-author 4
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