文章总结： 厦门大学吴荣鑫教授课题组论文ValScope荣获OSDI2026最佳论文奖，实现国内高校在该奖项零的突破。该研究针对数据库管理系统中的逻辑错误难以检测的问题，提出统一的SQL查询近似模型与自动化测试系统，将检测从集合语义拓展至值语义层面。团队在MySQL等六大主流数据库中发现67个未知逻辑错误并获大量确认，部分问题潜伏超十年，显著提升了数据库系统可靠性与数据处理正确性，具有重要的学术价值与工业应用意义。 综合评分： 66 文章分类： 安全大事件,漏洞分析

厦门大学信息学院吴荣鑫教授课题组论文荣获OSDI 2026最佳论文奖

信息网络安全杂志

2026年8月25日 18:00 上海

在小说阅读器读本章

去阅读

近日，操作系统领域国际旗舰学术会议OSDI 2026(20th USENIX Symposium on Operating Systems Design and Implementation，CCF-A类会议)公布了Jay Lepreau Best Paper Award（最佳论文奖），厦门大学信息学院、福建省高效能智算系统工程研究中心吴荣鑫教授课题组的研究成果“ValScope: Value-Semantics-Aware Metamorphic Testing for Detecting Logical Bugs in DBMSs”斩获该奖项，成为首篇由中国高校作为第一且唯一完成单位的最佳论文，实现了国内高校在该奖项上的重要突破，也标志着厦门大学在系统软件与数据库系统可靠性研究领域的原创成果获得国际学术界的高度认可。

OSDI最佳论文奖

OSDI长期关注操作系统、数据库系统、分布式系统、云计算及系统软件等方向的前沿研究，汇聚全球学术界与工业界的顶尖研究者，强调具有重要创新性、系统实现价值和真实应用影响的研究成果。Jay Lepreau Best Paper Award是OSDI为表彰当届会议中具有突出创新性和重要学术价值的优秀论文而设立的最佳论文奖。该奖项以OSDI创始人及首任程序委员会主席Jay Lepreau命名，是国际计算机系统研究领域具有广泛影响力的论文荣誉。OSDI 2026在会议开幕环节正式颁发该奖项。

获奖论文聚焦数据库管理系统中的逻辑错误检测问题。此类错误通常不会造成数据库崩溃，却可能在系统正常运行的情况下产生错误查询结果，对数据一致性和应用可靠性构成严重威胁。针对现有检测方法难以发现聚合计算、排序和数值运算等值语义错误的问题，研究团队提出统一的 SQL Query Approximation Model，并研发自动化数据库测试系统 ValScope，将逻辑错误检测从传统的集合语义进一步拓展至值语义层面。该工作在 MySQL、MariaDB、OceanBase、Percona、PolarDB 和 TiDB 六个主流数据库管理系统上开展大规模实验，共发现 67个此前未知的逻辑错误，其中57个已获得数据库开发者确认。这些错误覆盖多个被广泛使用的数据库系统，部分问题已在系统中存在超过10年，体现了该成果在提升数据库系统可靠性、保障数据处理正确性方面的重要实际价值。

论文由厦门大学林立、陈列行和吴荣鑫共同完成，吴荣鑫教授为通讯作者。

来源：厦大信息微信公众号

信息网络安全

《信息网络安全》创刊于2001年，是由公安部主管，公安部第三研究所、中国计算机学会主办，面向国内外公开发行的国内首批信息安全类期刊之一，于2015年成为中国科技核心期刊，2017年成为中国科学引文数据库来源期刊，2018年成为中文核心期刊，2022年入选CCF计算领域高质量科技期刊分级目录。

中文核心期刊

中国科技核心期刊

中国科学引文数据库来源期刊

CCF计算领域高质量科技期刊

我们在不断努力和完善中，期待您的关注和支持！

免责声明：

本文所载程序、技术方法仅面向合法合规的安全研究与教学场景，旨在提升网络安全防护能力，具有明确的技术研究属性。

任何单位或个人未经授权，将本文内容用于攻击、破坏等非法用途的，由此引发的全部法律责任、民事赔偿及连带责任，均由行为人独立承担，本站不承担任何连带责任。

本站内容均为技术交流与知识分享目的发布，若存在版权侵权或其他异议，请通过邮件联系处理，具体联系方式可点击页面上方的联系我。

本文转载自：信息网络安全杂志 《厦门大学信息学院吴荣鑫教授课题组论文荣获OSDI 2026最佳论文奖》