paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Mastering uncertainty in performance estimations of configurable software systems

驾驭可配置软件系统性能估计中的不确定性
ASE Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering2020匹配度 3/10 · 论文使用概率编程对可配置软件系统的性能影响进行不确定性量化,在方法论上与贝叶斯/概率编程有边缘关联;但其研究对象是性能建模,不涉及静态分析、LLM/Agent、浮点程序分析或 LLM 与程序分析的交叉,与用户核心研究方向直接交集很少。引用 50 inbox
Johannes Dorn, Sven Apel, Norbert Siegmund
crossref: 2026-09-12

AI 速览

一句话:提出基于概率编程的 P4,为可配置系统性能影响建模引入不确定性量化与置信区间。

可配置软件系统的性能受配置选项及其交互影响。已有性能影响建模方法通常将选项影响和配置性能表示为标量点估计,忽略了测量偏差、模型表示与学习过程以及数据不完整等不确定性,导致不同方法和不同学习轮次给出不同结果且无法量化可靠性。本文提出 P4,一种基于概率编程的方法,显式地对选项影响的不确定性建模,从而在标量预测之外为每个配置性能预测给出置信区间,并能解释预测误差来源及哪些选项影响不可靠。在 12 个真实系统上的评估表明,P4 的预测精度与当前最优方法相当,同时提供可靠的置信区间。

问题
已有性能影响模型以标量点估计表示配置选项对性能的影响,掩盖了测量偏差、模型学习和数据不完整等不确定性,无法量化预测可靠性。
方法
提出基于概率编程的 P4,显式建模选项影响的不确定性,并为配置性能预测输出置信区间及不可靠影响解释。
评估
在 12 个真实世界可配置系统上评估,P4 的预测精度与 state-of-the-art 相当,并能提供可靠的置信区间。
原文摘要(Abstract)

Understanding the influence of configuration options on performance is key for finding optimal system configurations, system understanding, and performance debugging. In prior research, a number of performance-influence modeling approaches have been proposed, which model a configuration option's influence and a configuration's performance as a scalar value. However, these point estimates falsely imply a certainty regarding an option's influence that neglects several sources of uncertainty within the assessment process, such as (1) measurement bias, (2) model representation and learning process, and (3) incomplete data. This leads to the situation that different approaches and even different learning runs assign different scalar performance values to options and interactions among them. The true influence is uncertain, though. There is no way to quantify this uncertainty with state-of-the-art performance modeling approaches. We propose a novel approach, P4, based on probabilistic programming that explicitly models uncertainty for option influences and consequently provides a confidence interval for each prediction of a configuration's performance alongside a scalar. This way, we can explain, for the first time, why predictions may cause errors and which option's influences may be unreliable. An evaluation on 12 real-world subject systems shows that P4's accuracy is in line with the state of the art while providing reliable confidence intervals, in addition to scalar predictions.

链接与引用

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

BibTeX
@inproceedings{paperbot5958,
  title = {Mastering uncertainty in performance estimations of configurable software systems},
  author = {Johannes Dorn and Sven Apel and Norbert Siegmund},
  booktitle = {ASE},
  year = {2020},
  doi = {10.1145/3324884.3416620}
}