近日，操作系统领域国际旗舰学术会议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长期关注操作系统、数据库系统、分布式系统、云计算及系统软件等方向的前沿研究，汇聚全球学术界与工业界的顶尖研究者，强调具有重要创新性、系统实现价值和真实应用影响的研究成果。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年，体现了该成果在提升数据库系统可靠性、保障数据处理正确性方面的重要实际价值。

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

（信息学院）