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

Lobsters Hottest 论文
randomized-scheduler bug-detection probabilistic-guarantees microsoft-research asplos

摘要

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

<p><a href="https://lobste.rs/s/zlcctc/randomized_scheduler_with">评论</a></p>
查看原文
查看缓存全文

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

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

相似文章

面向分布式并行AI程序验证的定向神经符号随机执行

arXiv cs.AI

本文提出了DNSSE，一种混合框架，结合了基于LLM的调度预测、符号约束求解和覆盖引导的随机变异，用于验证分布式并行AI程序。它在现实基准上检测到的并发缺陷数量是基线的2.9倍，并将分支覆盖率从68.6%提高到91.6%。