paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Dynamically reconfiguring software microbenchmarks: reducing execution time without sacrificing result quality

动态重配置软件微基准:减少执行时间且不牺牲结果质量
FSE Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2020匹配度 1/10 · 该论文研究软件微基准的动态重配置与执行时间优化,属于软件性能测试/持续集成领域,与用户关注的PL与AI交叉、静态分析、浮点程序分析、贝叶斯程序分析等核心方向基本无关。虽然涉及benchmark,但并非用户感兴趣的新场景benchmark设计或问题驱动失效分析。引用 35 inbox
Christoph Laaber, Stefan Würsten, Harald C. Gall, Philipp Leitner
crossref: 2026-09-12

AI 速览

一句话:提出动态重配置软件微基准的方法,在保持结果质量的同时降低执行时间,使持续集成中的频繁性能检查可行。

论文关注软件微基准测试套件执行成本过高的问题:完整套件常需数小时甚至数天,导致难以在持续集成等场景中频繁运行;但若为缩短时间而随意调整基准配置,又会使结果无法代表软件的真实性能。为此,作者提出对软件微基准进行动态重配置的思路,在降低执行时间的同时显式保证结果质量,避免配置变化引入不具代表性的性能结论。摘要主要给出问题动机与目标,未展开具体重配置策略、算法或实验数据;其核心主张是能够在不牺牲结果质量的前提下减少微基准执行开销,从而使更频繁的性能检查变得可行。

问题
软件微基准套件执行成本高,完整运行可达数小时至数天,难以在 CI 等场景中频繁执行;而随意修改配置又会降低结果对真实性能的代表性。
方法
论文提出动态重配置软件微基准配置,在减少执行时间的同时显式考虑并保持结果质量。
评估
摘要未给出具体实验设置与结果;从研究目标看,评估应围绕执行时间缩减与结果质量保持两方面进行。
原文摘要(Abstract)

Executing software microbenchmarks, a form of small-scale performance tests predominantly used for libraries and frameworks, is a costly endeavor. Full benchmark suites take up to multiple hours or days to execute, rendering frequent checks, e.g., as part of continuous integration (CI), infeasible. However, altering benchmark configurations to reduce execution time without considering the impact on result quality can lead to benchmark results that are not representative of the software’s true performance.

链接与引用

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

BibTeX
@inproceedings{paperbot5845,
  title = {Dynamically reconfiguring software microbenchmarks: reducing execution time without sacrificing result quality},
  author = {Christoph Laaber and Stefan Würsten and Harald C. Gall and Philipp Leitner},
  booktitle = {FSE},
  year = {2020},
  doi = {10.1145/3368089.3409683}
}