Agents as Neuro-Symbolic Reasoners: Path Feasibility Reasoning for Precise Static Bug Detection
薛英 杜 · Kai Yu · Chong Wang · Yi Zou · Wentai Deng · Zuoyu Ou · Xin Peng · Yiling Lou
首次获取该候选人的完整档案及 StartLux 评估共 20 积分;每位用户单独解锁,之后查看免费。主动刷新 20 积分。
实时查找电子邮箱,费用不超过20积分;未找到邮箱不扣费。
薛英 杜 · Kai Yu · Chong Wang · Yi Zou · Wentai Deng · Zuoyu Ou · Xin Peng · Yiling Lou
Zhenhao Zhou · Zhuochen Huang · Yike He · Chong Wang · Jiajun Wang · Yijian Wu · Xin Peng · Yiling Lou
The Linux kernel is a critical system, serving as the foundation for numerous systems. Bugs in the Linux kernel can cause serious consequences, affecting billions of users. Fault localization (FL), which aims at identifying the buggy code elements in software, plays an essential role in software...
Yaoqi Guo · Ying Xiao · Jie M. Zhang · Mark Harman · Yiling Lou · Yang Liu · Zhenpeng Chen
Software engineering (SE) agents powered by large language models are increasingly adopted in practice, yet they often incur substantial monetary cost. We introduce EET, an experience-driven early termination approach that reduces the cost of SE agents while preserving task performance. EET extra...
Hao Li · Haoxiang Zhang · Jie M. Zhang · Yiling Lou · Baishakhi Ray · Thomas Zimmermann · Ahmed E. Hassan
Zihao Xu · Junchen Ding · Yiling Lou · Kun Zhang · Dong Gong · Yuekang Li
Liming Yang · Junyu Luo · Xuanzhe Liu · Yiling Lou · Zhenpeng Chen