13 papers · 1 filter
Answer Is Cheap, Show Me the Evidence! Augmenting Automated Vulnerability Assessment with Evidence
Shengyi Pan, Zelong Zheng, Jiayuan Zhou +3
Software vulnerability (SV) assessment helps prioritize remediation by characterizing reported vulnerabilities. Existing automated methods predict assessment results from SV report…
Automating Just-In-Time Python Type Annotation Updating
Zhipeng Xue, Zhipeng Gao, Xing Hu +3
Type annotations are more and more popular in Python projects to avoid type errors caused by Python's dynamic typing feature. However, when developers change source code, these typ…
Mitigating Implicit Inconsistencies in Patch Porting
Shengyi Pan, Zhongxin Liu, Jiayuan Zhou +3
Promptly porting patches from a source codebase to its variants (e.g., forks and branches) is essential for mitigating propagated defects and vulnerabilities. Recent studies have e…
ZeroCoder: Can LLMs Improve Code Generation Without Ground-Truth Supervision?
Lishui Fan, Mouxiang Chen, Tingwei Zhu +4
Code generation is important in software engineering, and Reinforcement Learning with Verifiable Rewards (RLVR) is a powerful paradigm to improve it through execution-based feedbac…
Verify Implementation Equivalence of Large Models
Qi Zhan, Xing Hu, Xin Xia +1
Verifying whether two implementations of the same large model are equivalent across frameworks is difficult in practice. Even when they realize the same computation, their graphs m…
Actionable Warning Is Not Enough: Recommending Valid Actionable Warnings with Weak Supervision
Zhipeng Xue, Zhipeng Gao, Tongtong Xu +3
The use of static analysis tools has gained increasing popularity among developers in the last few years. However, the widespread adoption of static analysis tools is hindered by t…