paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Nufix

Nufix
ICSE Proceedings of the 44th International Conference on Software Engineering2022匹配度 1/10 · 该论文研究 .NET 包依赖约束冲突的自动修复，属于软件工程/依赖管理/程序修复工具方向；与用户关注的 PL 与 AI 交叉、Agentic 程序静态分析、LLM 改进静态分析/形式化验证、浮点或贝叶斯程序分析均无直接关联。引用 10 inbox
Zhenming Li, Ying Wang, Zeqi Lin, Shing-Chi Cheung, Jian-Guang Lou
测试、调试与修复编程环境与开发者工具
crossref: 2026-09-12dblp: 2026-09-12

AI 速览

一句话：针对 .NET 生态中包依赖约束被违反的依赖迷宫问题，提出自动修复工具 Nufix（摘要未展开具体方法）。

本文关注 .NET 项目中的依赖迷宫（DM）问题：当项目平台或依赖发生变化时，包依赖约束容易被违反。该问题在 .NET 生态中尤为严重，因为平台碎片化，存在 .NET Framework、.NET Core 与 .NET Standard 等多种目标。修复 DM 问题十分困难：一个项目通常同时出现多个 DM 问题；解决其中一个可能触发新的 DM 问题；可能的依赖组合构成指数级搜索空间。摘要未具体描述 Nufix 采用的修复方法、实现机制或实验评估，因此无法概述其关键结果。从标题看，Nufix 应是面向该问题的工具或方法。

问题
开发者在意项目平台或依赖变更时会遇到依赖迷宫（DM）问题：包依赖约束被违反；该问题在平台碎片化的 .NET 生态中尤其严重。
方法
摘要未说明 Nufix 的具体方法；仅从标题可知论文围绕 Nufix 这一工具或方法展开。
评估
摘要未提供实验评估、数据集或结果信息。
原文摘要（Abstract）

Developers usually suffer from dependency maze (DM) issues, i.e., package dependency constraints are violated when a project's platform or dependencies are changed. This problem is especially serious in .NET ecosystem due to its fragmented platforms (e.g., .NET Framework, .NET Core, and .NET Standard). Fixing DM issues is challenging due to the complexity of dependency constraints: multiple DM issues often occur in one project; solving one DM issue usually causes another DM issue cropping up; the exponential search space of possible dependency combinations is also a barrier.

链接与引用

DOI 原文 · DBLP

BibTeX 
@inproceedings{LiWLCL22,
  title = {Nufix},
  author = {Zhenming Li and Ying Wang and Zeqi Lin and Shing-Chi Cheung and Jian-Guang Lou},
  booktitle = {ICSE},
  year = {2022},
  doi = {10.1145/3510003.3510118}
}