• 主要观点：作者所在组的第一篇论文在 OOPSLA 发表，内容是通过随机生成 MIR 程序对 Rust 编译器的优化和代码生成进行模糊测试，确保其在不同后端、不同优化级别和 Miri 中行为相同，核心工作由 Andy（钱王）在其硕士论文中完成，之后他继续努力，共在 Rust 编译器中发现 22 个新 bug，其中 12 个在已被先前工作广泛模糊测试的 LLVM 后端。
• 关键信息：论文发表于 OOPSLA，研究对象为 Rust 编译器，通过随机生成 MIR 程序测试，核心工作者为 Andy，发现 22 个新 bug 且 12 个在 LLVM 后端，可通过查看论文或观看 Andy 演讲了解更多（演讲视频链接及时间戳相关问题）。
• 重要细节：论文相关链接为 https://plf.inf.ethz.ch/resea... ，Andy 演讲视频链接为 https://www.youtube.com/watch... （时间戳链接不可靠时可手动 seek 至 5h40min 标记处）。