近日，2022级博士生谢子凡（导师文明副教授）的论文 “Validating JVM Compilers via Maximizing Optimization Interaction”被 ACM Conference on Architectural Support for Programming Languages and Operating Systems（ASPLOS 2024）录用。

文章介绍了优化交互的概念，指的是现代编译器中的一种实践，其中多个优化阶段（例如内联、循环展开和死代码消除）不是按顺序一次性完成，而是相互交错进行。因此，在优化某个阶段时，编译器需要确保不会干扰其他优化阶段的结果，否则可能导致编译器崩溃或出现不可预测的结果。为了验证编译器是否能够正确处理跨不同阶段的优化过程，作者提出了MopFuzzer，它旨在最大化模糊测试期间的运行时优化交互，从而测试JVM JIT编译器。具体来说，它鼓励JVM（Java Virtual Machine）执行多阶段优化，并通过差分测试验证编译器优化代码的正确性。目前，MopFuzzer已经实现了13个变异算子，每个变异算子旨在触发特定的JVM优化行为。这些变异算子迭代应用于同一个程序点，随后，测试过程由一种基于编译诊断数据的方法引导，该方法记录编译器执行的优化行为。这种引导使得MopFuzzer能够生成复杂的变异体，并最大化编译器优化交互次数。作者对广泛使用于生产环境中的JVM（OpenJDK和OpenJ9）进行了评估，并提交了59个错误报告。

ASPLOS是综合体系结构、编程语言和操作系统三个方向的计算机系统领域顶级会议，尤其重视不同方向之间的交叉，属于CCF推荐A类会议，近年来录用率约为20%左右。

（通讯员：谢子凡）