近日，实验室硕士生赖昕（导师文明教授）的论文 “Validating Rust Compilers with Trait-Type Constraint Graph”被第32届 ACM 操作系统原理研讨会（The 32nd ACM Symposium on Operating Systems Principles, SOSP 2026）录用。这是华中科技大学首篇被SOSP录用的论文。

Rust作为一门注重内存安全与高性能的系统编程语言，正日益应用于操作系统、内核等安全关键系统软件中。作为保障Rust安全特性的核心基础设施，Rust编译器的可靠性直接关系到系统软件的安全与可信。针对现有Rust编译器测试工具难以充分覆盖trait机制（Rust中用于描述类型接口、泛型约束的核心语言机制），尤其是trait求解过程中约束生成、传播与解析逻辑的问题，论文提出了一种基于Trait-Type Constraint Graph（TTCG，trait-类型约束图）的Rust编译器验证方法，并设计实现了工具TraitFuzzer。该方法将Rust程序中的类型、trait及其实现关系、投影关系建模为可分析的约束图，并以此引导测试用例生成和变异，系统性探索Rust trait约束空间，从而触发编译器中复杂而隐蔽的trait求解逻辑。实验结果表明，TraitFuzzer共发现51个Rust编译器缺陷，其中45个已获得开发者确认，9个已被修复；进一步分析显示，41个确认缺陷只有在包含trait结构的测试用例中才能触发。

ACM SOSP是操作系统和系统软件领域最具影响力的国际学术会议之一，属于中国计算机学会推荐的CCF A类国际会议。SOSP 2026共收到390篇论文投稿，录用62篇，录用率仅为15.9%。

（通讯员：赖昕）