paperbot · PL 论文追踪

全部论文 待读 收藏

P2 How to Pet a Two-Headed Snake? Solving Cross-Repository Compatibility Issues with Hera

如何抚摸双头蛇?用 Hera 解决跨仓库兼容性问题
ASE Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering2024匹配度 2/10 · 论文聚焦跨软件仓库的包依赖兼容性问题与工具 Hera,属于软件工程和开发者工具范畴,并未涉及静态分析、LLM/Agent 或浮点/贝叶斯程序分析等用户核心研究方向。虽然与编程环境和工具链有一定关联,但距离用户研究画像的核心问题较远。引用 2 inbox
Yifan Xie, Zhouyang Jia, Shanshan Li, Ying Wang, Jun Ma, Xiaoling Li, Haoran Liu, Ying Fu, Xiangke Liao
crossref: 2026-09-12

AI 速览

一句话:提出 Hera 工具以检测和解决跨软件仓库的包依赖兼容性问题。

许多编程语言与操作系统社区通过维护软件仓库来构建各自的生态系统,并提供包管理工具。这些工具通常只处理仓库内依赖,不考虑跨仓库依赖。然而用户经常需要组合来自不同仓库的包,于是会遇到兼容性问题,作者称之为跨仓库兼容性(Cross-repository Compatibility, CC)问题。现有工作大多只关注单一软件仓库,因此不足以检测 CC 问题。本文提出 Hera,旨在解决跨仓库兼容性问题。摘要未给出 Hera 的具体技术路线与实验评估细节。

问题
用户跨多个软件仓库组合包时产生的跨仓库兼容性(CC)问题难以被现有仅针对单一仓库的工具检测。
方法
摘要未详述 Hera 的具体方法,仅提出用 Hera 解决跨仓库兼容性问题。
评估
摘要未提供评估信息。
原文摘要(Abstract)

Many programming languages and operating system communities maintain software repositories to build their own ecosystems. The repositories often provide management tools to help users using the packages. The tools are often, if not all the times, well-designed to handle intra-repository dependencies without considering inter-repository dependencies. The users, however, often need packages from different repositories, and thus may suffer from compatibility issues. We refer to these issues as Cross-repository Compatibility (CC) issues. Existing works typically focus on a single software repository and are insufficient to detect CC issues.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot8341,
  title = {How to Pet a Two-Headed Snake? Solving Cross-Repository Compatibility Issues with Hera},
  author = {Yifan Xie and Zhouyang Jia and Shanshan Li and Ying Wang and Jun Ma and Xiaoling Li and Haoran Liu and Ying Fu and Xiangke Liao},
  booktitle = {ASE},
  year = {2024},
  doi = {10.1145/3691620.3695064}
}