5 papers · 1 filter
Multi-Source and Cross-Scenario Strategy-Guided Code Optimization
Yuwei Zhao, Qianyu Xiao, Ye Cui +2
Automated code optimization improves program performance by refactoring source code, and recent studies use LLMs to generate optimization patches. The newest approaches are strateg…
SpecRL: Reinforcement Learning with Test-Based Completeness Rewards for Formal Specification Synthesis
Zhechong Huang, Zhao Zhang, Zeyu Sun +2
Specification synthesis asks a model to generate specifications and auxiliary annotations for an existing program. In modern software verification projects, specification accuracy…
GramTrans: A Better Code Representation Approach in Code Generation
Zhao Zhang, Qingyuan Liang, Zeyu Sun +6
Code generation has shown great promise in assisting software development. A fundamental yet underexplored question is how the choice of code representation affects model performan…
SemOpt: LLM-Driven Code Optimization via Rule-Based Analysis
Yuwei Zhao, Yuan-An Xiao, Qianyu Xiao +2
Automated code optimization improves program performance through refactoring, and recent studies leverage LLMs for this purpose. Existing approaches mine optimization commits from…
Condor: A Code Discriminator Integrating General Semantics with Code Details
Qingyuan Liang, Zhao Zhang, Chen Liu +9
LLMs demonstrate significant potential across various software engineering tasks. However, they still face challenges in generating correct code on the first attempt when addressin…