代码大模型 / AI 编程

Compartmentalization-Aware Automated Program Repair

具有 compartmentalization 意识的自动化程序修复

Jia Hu, Youcheng Sun, Pierre Olivier

专题命中 程序修复 ：program repair(title,abstract)

AI总结 本文提出了一种专门针对 compartment 接口安全的 APR 框架，通过整合 fuzzer、补丁生成和验证组件，自动化修复 cross-compartment 接口漏洞。

Comments Accepted to appear in ICSE's Journal Ahead Workshop (JAWs) 2026

Floating-Point Usage on GitHub: A Large-Scale Study of Statically Typed Languages

GitHub上的浮点数使用：静态类型语言的大规模研究

Andrea Gilot, Tobias Wrigstad, Eva Darulova

专题命中 程序修复 ：program repair(abstract)；分类 cs.SE、cs.PL

AI总结 本文通过大规模研究GitHub仓库中的浮点数使用，揭示了现实世界中浮点数运算的广泛应用，并发布数据集以帮助改进自动推理技术。