软件工程

最近提交的作者和标题

• 2025年08月01日， 星期五
• 2025年07月31日， 星期四
• 2025年07月30日， 星期三
• 2025年07月29日， 星期二
• 2025年07月28日， 星期一

查看今天的 新的 变化

2025年07月28日， 星期一 (继续， 展示 最后 20 之 12 条目 )

[105] arXiv:2507.19027 (交叉列表自 cs.SE) [中文pdf, pdf, html, 其他]

标题： SESR-Eval：系统综述标题和摘要筛选中评估大语言模型的数据集 显示英文标题

标题： SESR-Eval: Dataset for Evaluating LLMs in the Title-Abstract Screening of Systematic Reviews

Aleksi Huotala, Miikka Kuutila, Mika Mäntylä

评论： 12页（10页正文 + 2页参考文献）

主题： 软件工程 (cs.SE)

[106] arXiv:2507.18982 (交叉列表自 cs.SE) [中文pdf, pdf, html, 其他]

标题： 在开源 GitHub 仓库中的问题分类 显示英文标题

标题： Classifying Issues in Open-source GitHub Repositories

Amir Hossain Raaj, Fairuz Nawer Meem, Sadia Afrin Mim

主题： 软件工程 (cs.SE)

[107] arXiv:2507.18957 (交叉列表自 cs.SE) [中文pdf, pdf, html, 其他]

标题： SLICEMATE：通过基于大语言模型的代理实现准确且可扩展的静态程序切片 显示英文标题

标题： SLICEMATE: Accurate and Scalable Static Program Slicing via LLM-Powered Agents

Jianming Chang, Jieke Shi, Yunbo Lyu, Xin Zhou, Lulu Wang, Zhou Yang, Bixin Li, David Lo

主题： 软件工程 (cs.SE)

[108] arXiv:2507.18833 (交叉列表自 cs.SE) [中文pdf, pdf, html, 其他]

标题： 探索Jupyter生态系统：对错误和漏洞的实证研究 显示英文标题

标题： Exploring the Jupyter Ecosystem: An Empirical Study of Bugs and Vulnerabilities

Wenyuan Jiang, Diany Pressato, Harsh Darji, Thibaud Lutellier

主题： 软件工程 (cs.SE)

[109] arXiv:2507.18812 (交叉列表自 cs.SE) [中文pdf, pdf, html, 其他]

标题： MemoCoder：使用LLM支持的代理进行自动函数合成 显示英文标题

标题： MemoCoder: Automated Function Synthesis using LLM-Supported Agents

Yiping Jia, Zhen Ming Jiang, Shayan Noei, Ying Zou

主题： 软件工程 (cs.SE) ; 人工智能 (cs.AI)

[110] arXiv:2507.18755 (交叉列表自 cs.SE) [中文pdf, pdf, html, 其他]

标题： 基于大规模测试失败的代理程序修复：一种结合静态分析和测试执行反馈的神经符号方法 显示英文标题

标题： Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback

Chandra Maddila, Adam Tait, Claire Chang, Daniel Cheng, Nauman Ahmad, Vijayaraghavan Murali, Marshall Roch, Arnaud Avondet, Aaron Meltzer, Victor Montalvao, Michael Hopko, Chris Waterson, Parth Thakkar, Renuka Fernandez, Kristian Kristensen, Sivan Barzily, Sherry Chen, Rui Abreu, Nachiappan Nagappan, Payam Shodjai, Killian Murphy, James Everingham, Aparna Ramani, Peter C. Rigby

主题： 软件工程 (cs.SE) ; 人工智能 (cs.AI) ; 编程语言 (cs.PL)

[111] arXiv:2507.18726 (交叉列表自 cs.SE) [中文pdf, pdf, html, 其他]

标题： 探索软件工程中公平性干预措施的现状 显示英文标题

标题： Exploring the Landscape of Fairness Interventions in Software Engineering

Sadia Afrin Mim

主题： 软件工程 (cs.SE)

[112] arXiv:2507.19457 (交叉列表自 cs.CL) [中文pdf, pdf, 其他]

标题： GEPA：反思提示进化可以优于强化学习 显示英文标题

标题： GEPA: Reflective Prompt Evolution Can Outperform Reinforcement Learning

Lakshya A Agrawal, Shangyin Tan, Dilara Soylu, Noah Ziems, Rishi Khare, Krista Opsahl-Ong, Arnav Singhvi, Herumb Shandilya, Michael J Ryan, Meng Jiang, Christopher Potts, Koushik Sen, Alexandros G. Dimakis, Ion Stoica, Dan Klein, Matei Zaharia, Omar Khattab

主题： 计算与语言 (cs.CL) ; 人工智能 (cs.AI) ; 机器学习 (cs.LG) ; 软件工程 (cs.SE)

[113] arXiv:2507.19060 (交叉列表自 cs.CR) [中文pdf, pdf, html, 其他]

标题： PurpCode：更安全代码生成的推理 显示英文标题

标题： PurpCode: Reasoning for Safer Code Generation

Jiawei Liu, Nirav Diwan, Zhe Wang, Haoyu Zhai, Xiaona Zhou, Kiet A. Nguyen, Tianjiao Yu, Muntasir Wahed, Yinlin Deng, Hadjer Benkraouda, Yuxiang Wei, Lingming Zhang, Ismini Lourentzou, Gang Wang

主题： 密码学与安全 (cs.CR) ; 计算与语言 (cs.CL) ; 机器学习 (cs.LG) ; 软件工程 (cs.SE)

[114] arXiv:2507.19015 (交叉列表自 cs.PL) [中文pdf, pdf, 其他]

标题： 在ACL2s中对Python类型系统的枚举嵌入 显示英文标题

标题： An Enumerative Embedding of the Python Type System in ACL2s

Samuel Xifaras (Northeastern University), Panagiotis Manolios (Northeastern University), Andrew T. Walter (Northeastern University), William Robertson (Northeastern University)

评论： 在ACL2 2025会议论文集中，arXiv:2507.18567

期刊参考： EPTCS 423，2025，第124-144页

主题： 编程语言 (cs.PL) ; 计算机科学中的逻辑 (cs.LO) ; 软件工程 (cs.SE)

[115] arXiv:2507.18792 (交叉列表自 cs.PL) [中文pdf, pdf, html, 其他]

标题： 反编译Rust：编译器优化和逆向工程挑战的实证研究 显示英文标题

标题： Decompiling Rust: An Empirical Study of Compiler Optimizations and Reverse Engineering Challenges

Zixu Zhou

主题： 编程语言 (cs.PL) ; 软件工程 (cs.SE)

[116] arXiv:2507.18775 (交叉列表自 cs.AI) [中文pdf, pdf, html, 其他]

标题： 集成大型推理与动作模型用于服务组合的初始步骤 显示英文标题

标题： Initial Steps in Integrating Large Reasoning and Action Models for Service Composition

Ilche Georgievski, Marco Aiello

评论： 16页，3张图，第19届服务计算研讨会和暑期学校（SummerSOC）

主题： 人工智能 (cs.AI) ; 软件工程 (cs.SE)