paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Outcome-Preserving Input Reduction for Scientific Data Analysis Workflows

面向科学数据分析工作流的保持结果输入约减
ASE Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering2022匹配度 1/10 · 论文关注科学数据分析工作流的输入约减与异常定位,属于数据工程/调试范畴,未涉及用户核心的静态分析、LLM/Agent、浮点程序分析或贝叶斯程序分析,也未体现 PL 与 AI 的交叉。引用 6 inbox
Anh Duc Vu, Timo Kehrer, Christos Tsigkanos
crossref: 2026-09-12

AI 速览

一句话:提出保持指定结果不变的工作流输入约减方法,用于定位科学数据分析中的异常输入或错误假设。

科学数据分析工作流常涉及探索性分析,其结果难以解释和判定正确性,用户常发现可疑结果但难以定位原因。本文倡导一种半自动方法:在保持用户指定的关注结果不变的前提下,对工作流输入数据进行约减,从而缩小搜索空间,帮助发现损坏的输入数据或对数据的错误假设。作者还阐述了在数据分析工作流中构建“保持结果的输入约减”工程支持的设想,并将早期研究原型应用于来自数据科学与机器学习在线社区的计算笔记本,报告了初步结果。

问题
科学数据分析工作流的结果往往难以解释和判断正确性,可疑结果需要进一步调查以提升可信度,但定位异常输入或错误假设很困难。
方法
提出半自动的保持结果输入约减,通过缩减输入数据同时保留指定的关注结果,缩小搜索空间以辅助不规则性定位。
评估
将早期研究原型应用于在线数据科学与机器学习社区的计算笔记本,并报告初步应用结果。
原文摘要(Abstract)

Analysis of data is the foundation of multiple scientific disciplines, manifesting in complex and diverse scientific data analysis workflows often involving exploratory analyses. Such analyses represent a particular case for traditional data engineering workflows, as results may be hard to interpret and judge whether they are correct or not, and where experimentation is a central theme. Oftentimes, there are certain aspects of a result which are suspicious and which should be further investigated to increase the trustworthiness of the workflow’s outcome. To this end, we advocate a semi-automated approach to reducing a workflow’s input data while preserving a specified outcome of interest, facilitating irregularity localization by narrowing down the search space for spotting corrupted input data or wrong assumptions made about it. We outline our vision on building engineering support for outcome-preserving input reduction within data analysis workflows, and report on preliminary results obtained from applying an early research prototype on a computational notebook taken from an online community of data scientists and machine learning practitioners.

链接与引用

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

BibTeX
@inproceedings{paperbot7357,
  title = {Outcome-Preserving Input Reduction for Scientific Data Analysis Workflows},
  author = {Anh Duc Vu and Timo Kehrer and Christos Tsigkanos},
  booktitle = {ASE},
  year = {2022},
  doi = {10.1145/3551349.3559558}
}