具备发现 Bug 概率保证的随机调度器

Lobsters Hottest 2026/05/09 04:27 论文

randomized-scheduler bug-detection probabilistic-guarantees microsoft-research asplos

摘要

Microsoft Research 的这篇论文介绍了一种随机调度技术，旨在为发现软件系统中的 Bug 提供概率性保证。该成果已发表于 ASPLOS 会议，核心在于利用算法随机性来实现系统化的故障检测。

查看原文

查看缓存全文

缓存时间: 2026/05/09 04:36

提供的源内容似乎为损坏的 PDF 二进制流数据，无法识别或提取可读的英文文本。请提供原始可编辑文本或重新导出为纯文本/markdown 格式，我将立即为您进行专业翻译。

相似文章

X AI KOLs Following

本文介绍了生产级LLM代理的随机-确定性边界（SDB）概念，并提供了一种选择架构模式的方法，以提高可靠性和性能。

Lobsters Hottest

这篇1996年的论文探讨了尽管缺乏形式化证明，软件可靠性却日益提高的原因，讨论了非正式方法和工程实践。

arXiv cs.AI

本文提出了一种用于作业车间调度的门控超启发式算法，该算法使用遗憾归一化的滚动标签和上下文KNN不确定性估计，以降低标签生成成本，并避免在预测改进不可信时切换出强默认规则。实验表明，该门控选择器实现了较低的均值相对百分比偏差，同时显著降低了计算成本。

arXiv cs.LG

本研究论文提出了一种用于在生成采样中强制执行硬约束的自适应校正调度方法，证明与末端或逐步投影方法相比，该方法能够改善成本-精度边界。

Hugging Face Daily Papers

一篇预印本论文，分析为何计算机使用智能体首次成功却在重复执行时失败，将不可靠性归因于执行随机性、任务模糊性和行为变异性，并倡导重复评估与稳定策略。