paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Enabling Scalable Proactive Workspaces With Environment-Wide Context

实现可扩展的主动式工作空间:基于环境范围上下文
FSE Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering2025匹配度 2/10 · 该论文关注开发者工具间的环境级上下文共享与主动式工作空间,属于软件工程/IDE工具集成方向,与用户核心研究方向(PL与AI/LLM交叉、静态分析、浮点程序分析、贝叶斯程序分析)没有直接关系。虽然涉及开发者工具与上下文共享,但未讨论程序分析、形式化验证或LLM/Agent在分析中的应用。引用 0 inbox
Nick Bradley, Thomas Fritz, Reid Holmes
crossref: 2026-09-12

AI 速览

一句话:提出“主动式工作空间”愿景,用发布-订阅式环境级上下文让开发工具可扩展地共享上下文,替代两两集成。

现代软件开发中,开发者需要同时使用多种相互独立的工具,手动协调这些工具既费力又偏离主要任务。已有研究表明,通过共享上下文集成工具可以减少协调、导航与配置负担,并使工具更好地适应开发者当前需求;但此类方法要求每对工具之间直接集成,随着工具数量增长而难以扩展。本文反思这一可扩展性瓶颈,提出“主动式工作空间”(Proactive Workspaces)愿景:提供一种机制,使工具能够以可扩展的方式发布和订阅环境范围的上下文,而非两两耦合。作者通过对 17 名开发者的小规模可行性研究进行评估,发现这种轻量机制能够让工具在开发者工作时动态适应其需求,降低协调多个独立工具的开销,并让开发者专注于任务的关键部分,从而提升生产力。

问题
开发者使用多种独立工具完成现代软件开发,但工具间的协调是手工且繁重的;已有的共享上下文集成方案依赖工具两两直接集成,无法随工具数量增长而扩展。
方法
提出 Proactive Workspaces 愿景:让工具以发布-订阅方式共享“环境范围上下文”(environment-wide context),从而以可扩展、松耦合的方式实现工具协调与行为自适应。
评估
通过一项包含 17 名开发者的可行性研究进行评估,结果表明该轻量机制能降低协调多个独立工具的开销,并使工具适应开发者需求、提升其专注度与生产力。
原文摘要(Abstract)

Developers use a variety of independent tools to build modern software systems. However, coordinating these tools is a manual process that is laborious and extraneous to the developer's main task. Due to the diversity of projects and tasks that developers work on, one unified tool will never be able to solve this unnecessary work for all developers. Prior work has demonstrated that tools can be integrated through a shared context, which reduces coordination, navigation, and configuration burdens for developers and ultimately leads to higher productivity. These coordinated tools are better able to adapt their behaviour to the developer's current needs. Unfortunately, while these coordinated tools enable the developer to focus on the key aspects of their task, every tool must be directly integrated with every tool. This tight pairwise integration of tools is not scalable as new tools continue to be created to help developers manage ever-increasing software complexity. Reflecting on the scalability challenges of previous integration approaches, this paper introduces a vision for Proactive Workspaces that provide a mechanism for tools to publish and subscribe to context in a scalable way. Through a small feasibility study with 17 developers, we found that this lightweight mechanism enables tools to adapt to the developer's needs as they work, decreasing the overhead associated with coordinating multiple independent tools while increasing developer productivity by enabling them to focus on the important parts of their tasks.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot9019,
  title = {Enabling Scalable Proactive Workspaces With Environment-Wide Context},
  author = {Nick Bradley and Thomas Fritz and Reid Holmes},
  booktitle = {FSE},
  year = {2025},
  doi = {10.1145/3696630.3728515}
}