paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Merge Conflict Resolution: Classification or Generation?

合并冲突解决:分类还是生成?
ASE 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE)2023匹配度 2/10 · 该论文属于机器学习用于软件工程中的合并冲突解决,虽与 PL+ML 有交叉,但未涉及用户核心关注的静态分析、Agentic 程序分析、浮点程序分析或贝叶斯程序分析,也未使用 LLM/Agent 改进分析或验证。引用 14 inbox
Jinhao Dong, Qihao Zhu, Zeyu Sun, Yiling Lou, Dan Hao
crossref: 2026-09-12dblp: 2026-09-12

AI 速览

一句话:提出生成式合并冲突解决技术 MergeGen,以结构化冲突表示和编码器-解码器自动生成解决方案,超越分类式 SOTA。

协作开发中,多人同时修改同一代码位置会产生合并冲突,需人工解决。现有基于深度学习的自动方法多采用分类范式,只能组合输入中已有元素,无法生成新词元或灵活组合,还错误假设同一粗粒度冲突内的细粒度冲突相互独立。本文从生成视角提出 MergeGen:设计结构化、细粒度的冲突感知表示,并用编码器-解码器生成模型自回归地生成冲突解决方案。在多个编程语言上的评估表明,MergeGen 在精度和准确率上均优于 SOTA,具有良好泛化能力;消融研究验证核心组件有效,粒度分析显示其对粗粒度冲突容忍度高,生成新词元的能力也证明生成式模型的优势。

问题
多人协作同时修改同一代码位置导致的合并冲突需人工解决,现有基于分类的深度学习技术在生成新词元和灵活组合方面受限,并错误假设细粒度冲突相互独立。
方法
提出生成式合并冲突解决技术 MergeGen,设计结构化、细粒度的冲突感知表示,并采用编码器-解码器生成模型自回归生成解决方案。
评估
在多个编程语言上评估,MergeGen 在精度和准确率上优于 SOTA,泛化能力良好;消融研究验证核心组件有效性,粒度分析与新词元生成分析进一步证明生成式方法的优势。
原文摘要(Abstract)

Collaborative development is critical to improve the productivity. Multiple contributors work simultaneously on the same project and might make changes to the same code locations. This can cause conflicts and require manual intervention from developers to resolve them. To alleviate the human efforts of manual conflict resolution, researchers have proposed various automatic techniques. More recently, deep learning models have been adopted to solve this problem and achieved state-of-the-art performance. However, these techniques leverage classification to combine the existing elements of input. The classification- based models cannot generate new tokens or produce flexible combinations, and have a wrong hypothesis that fine-grained conflicts of one single coarse-grained conflict are independent. In this work, we propose to generate the resolutions of merge conflicts from a totally new perspective, that is, generation, and we present a conflict resolution technique, MergeGen. First, we design a structural and fine-grained conflict-aware representation for the merge conflicts. Then, we propose to leverage an encoder- decoder-based generative model to process the designed conflict representation and generate the resolutions auto-regressively. We further perform a comprehensive study to evaluate the effectiveness of MergeGen. The quantitative results show that MergeGen outperforms the state-of-the-art (SOTA) techniques from both precision and accuracy. Our evaluation on multiple programming languages verifies the good generalization ability of MergeGen. In addition, the ablation study shows that the major component of our technique makes a positive contribution to the performance of MergeGen, and the granularity analysis reveals the high tolerance of MergeGen to coarse-grained conflicts. Moreover, the analysis on generating new tokens further proves the advance of generative models.

链接与引用

DOI 原文 · DBLP

BibTeX
@inproceedings{DongZSLH23,
  title = {Merge Conflict Resolution: Classification or Generation?},
  author = {Jinhao Dong and Qihao Zhu and Zeyu Sun and Yiling Lou and Dan Hao},
  booktitle = {ASE},
  year = {2023},
  doi = {10.1109/ase56229.2023.00155}
}