代码大模型 / AI 编程

An Empirical Study of Complexity, Heterogeneity, and Compliance of GitHub Actions Workflows

GitHub Actions工作流的复杂性、异质性与合规性的实证研究

Edward Abrokwah, Taher A. Ghaleb

专题命中 仓库级理解 ：repository(abstract)；分类 cs.SE

AI总结 本研究分析Java、Python、C++仓库的GitHub Actions工作流，量化其复杂性、异质性与合规性，发现工作流设计依赖生态惯例，为该领域提供了可复现的实证基准。

Assessing the Benefits of Combining Advanced Deep Learning Techniques for Post-Disaster Building Damage Assessment from UAV Imagery

结合先进深度学习技术的优势，从无人机影像中评估灾后建筑物损毁情况

Huy Quang Ung, Guillaume Habault, Roberto Legaspi, Hao Niu, Lian Cao, Masato Taya

机构 * KDDI Research, Inc.（KDDI研究所） 纠错

专题命中 仓库级理解 ：repository(abstract)

AI总结 本文提出将CV模型与LVLM结合的混合框架，在RescueNet、FloodNet基准上评估，可准确统计灾后建筑物损毁情况，性能优于单独基准模型且仅需少量标注数据，相关资源公开。

Comments Accepted at ECMLPKDD 2026, 31 pages (including appendix), 18 figures

Enforcing Access Control in Distributed Version Control Systems

在分布式版本控制系统中实施访问控制

Xin Xu, Quanwei Cai, Jingqiang Lin, Shiran Pan, Liangqin Ren

专题命中 仓库级理解 ：repository(abstract)

AI总结 针对分布式版本控制系统（DVCS）访问控制方案不适配的问题，提出分布式访问控制方案Disac，采用ABE和ABS实现权限控制，可轻松集成到Git客户端。

Comments 6 pages, 2 figures. Author-accepted manuscript

Journal ref 2019 IEEE International Conference on Multimedia and Expo (ICME), pp. 772-777, 2019

The First Variational Formula and the Ostrogradsky Formalism

第一变分公式与奥斯特罗格拉德斯基形式主义

Drew Watson, Matthew Pontius, Charles Torre

专题命中 仓库级理解 ：repository(abstract)

AI总结 本文推导适合本科生的经典力学中拉格朗日量的奥斯特罗格拉德斯基形式主义，提供实例、习题与应用，配套程序代码可在补充材料及GitHub获取，用于定义力学系统哈密顿形式主义。

Comments Accepted for publication in the American Journal of Physics. 16 pages

KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code

KVerus：面向Rust代码的可扩展且高鲁棒性的形式化验证证明生成工具

Yuwei Liu, Xinyi Wan, Yanhao Wang, Minghua Wang, Lin Huang, Tao Wei

专题命中 程序分析与验证 ：repository(abstract)；分类 cs.SE

AI总结 KVerus是适配Rust代码的形式化验证工具，通过自适应范式与动态知识库，在单文件、仓库级基准及Rust内核验证中均优于现有方案，为形式化验证的规模化应用提供了关键进展。

Comments Accepted at ASE 2026