小组研究成果被ACM会议OOPSLA 2024接收

清华大学软件系统安全保障小组研究成果 “PolyJuice: Detecting Mis-Compilation Bugs in Tensor Compilers with Equality Saturation Based Rewriting” 被会议 Object-Oriented Programming, Systems, Languages & Applications(OOPSLA) 接收。该论文提出一个通过equality saturation来实现等价计算图生成的工具，用于检测张量编译器正确性缺陷。论文在 PyTorch Inductor, OnnxRuntime, TVM, TensorRT, XLA, EinNet, Hidet等工业界和学术界的张量编译器中发现了84个非崩溃正确性缺陷，49个获得了确认。该工作由博士生周炽金、钱炳州、张泉、高贵焕共同完成。

OOPSLA是程序语言和软件工程领域的顶级会议，其关注主题包括面向对象编程语言和系统、软件架构、软件工程、编程语言设计和实现、软件测试和验证。OOPSLA是 CCF 推荐 A 类会议，是清华大学计算机学科推荐 A 类会议。