paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Multiverse Notebook: Shifting Data Scientists to Time Travelers

Multiverse Notebook:将数据科学家转变为时间旅行者
OOPSLA 8(OOPSLA1)2024匹配度 2/10 · 该论文研究计算笔记本的时间旅行与状态隔离运行时,属于数据科学编程环境与开发者工具,不涉及静态分析、LLM/Agent、浮点程序分析或贝叶斯程序分析,因此与用户核心研究方向匹配度很低。引用 3 inbox
Shigeyuki Sato, Tomoki Nakamaru
crossref: 2026-09-10

AI 速览

一句话:提出计算笔记本引擎 Multiverse Notebook,支持在状态隔离下时间旅行回溯并用新代码重启。

计算笔记本是数据科学编程的事实标准工具,却因允许对运行中程序进行无限制的动态打补丁而饱受软件工程界批评,被认为导致代码混乱且不一致。本文首先通过 Kaggle 上的观察揭示,动态打补丁是数据科学编程中的自然需求而非单纯的坏习惯。为此作者开发了 Multiverse Notebook,一个支持时间旅行探索的计算笔记本引擎:用户可以在状态隔离下回溯到任意历史状态,并用新代码从该状态重新启动执行。文中提出了高效实现这种时间旅行探索的方法。最后,作者在来自 Kaggle 的十个真实数据科学任务上进行实证评估,结果表明 Multiverse Notebook 上的时间旅行探索具有合理的效率。

问题
计算笔记本允许对运行中程序进行无限制的动态打补丁,虽便于探索式编程,却导致代码混乱与不一致;但作者发现这种动态补丁在 Kaggle 数据科学编程中是一种自然需求。
方法
开发 Multiverse Notebook,一个支持时间旅行探索的计算笔记本引擎,使用户能在状态隔离下回溯到任意历史状态并用新代码重新启动,并给出高效实现该能力的方法。
评估
在来自 Kaggle 的十个真实数据科学任务上进行实证评估,实验表明 Multiverse Notebook 上的时间旅行探索具有合理的效率。
原文摘要(Abstract)

Computational notebook environments are popular and de facto standard tools for programming in data science, whereas computational notebooks are notorious in software engineering. The criticism there stems from the characteristic of facilitating unrestricted dynamic patching of running programs, which makes exploratory coding quick but the resultant code messy and inconsistent. In this work, we first reveal that dynamic patching is a natural demand rather than a mere bad practice in data science programming on Kaggle. We then develop Multiverse Notebook, a computational notebook engine for time-traveling exploration. It enables users to time-travel to any past state and restart with new code from there under state isolation. We present an approach to efficiently implementing time-traveling exploration. We empirically evaluate Multiverse Notebook on ten real-world tasks from Kaggle. Our experiments show that time-traveling exploration on Multiverse Notebook is reasonably efficient.

链接与引用

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

BibTeX
@article{paperbot2521,
  title = {Multiverse Notebook: Shifting Data Scientists to Time Travelers},
  author = {Shigeyuki Sato and Tomoki Nakamaru},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {8},
  number = {OOPSLA1},
  year = {2024},
  doi = {10.1145/3649838}
}