5 papers
Exploring Code Analysis: Zero-Shot Insights on Syntax and Semantics with LLMs
Wei Ma, Zhihao Lin, Shangqing Liu +8
Code analysis is fundamental in Software Engineering, supporting debugging, optimization, and security assessment. Human developers approach it through syntax parsing, static seman…
From Context to Intent: Reasoning-Guided Function-Level Code Completion
Yanzhou Li, Tianlin Li, Yiran Zhang +4
The growing capabilities of Large Language Models (LLMs) have led to their widespread adoption for function completion within code repositories. Recent studies on such tasks show p…
Impact-driven Context Filtering For Cross-file Code Completion
Yanzhou Li, Shangqing Liu, Kangjie Chen +2
Retrieval-augmented generation (RAG) has recently demonstrated considerable potential for repository-level code completion, as it integrates cross-file knowledge with in-file prece…
SpecEval: Evaluating Code Comprehension in Large Language Models via Program Specifications
Lezhi Ma, Shangqing Liu, Lei Bu +3
Large Language models have achieved impressive performance in automated software engineering. Extensive efforts have been made to evaluate the abilities of code LLMs in various asp…
SpecGen: Automated Generation of Formal Program Specifications via Large Language Models
Lezhi Ma, Shangqing Liu, Yi Li +2
Formal program specifications play a crucial role in various stages of software development. However, manually crafting formal program specifications is rather difficult, making th…