编译器技术论坛是中国计算机学会系统软件专委会自2017年起发起的常设技术论坛，该技术论坛关注编译器构造、验证和测试等。本年度，该论坛于2025年11月22日在北京大学深圳研究生院顺利召开。本次论坛汇聚了全球编译器技术领域多位知名专家，共同交流编译技术最新进展，分享最新研究成果，推动领域研究与发展。

论坛的参会者包含：瑞士苏黎世联邦理工学院（ETH Zurich）Zhendong Su教授，德国萨尔大学（Saarland University）Andreas Zeller教授，英国伦敦帝国理工学院（Imperial College London）Alastair F. Donaldson教授，德国斯图加特大学（University of Stuttgart）MichaelPradel教授，北京大学金芝教授，中国科学院软件研究所张健研究员，北京大学谢涛教授，南京大学王林章教授，大连理工大学江贺教授，上海交通大学汪宇霆副教授，华东师范大学苏亭教授，天津大学赵英全副研究员等众多从事编译器研究的师生。论坛由北京大学信息工程学院副院长郝丹教授、天津大学陈俊洁教授共同主持，并通过中国计算机学会B站与视频号平台同步直播，线上线下累计参与约2300人次。

与会人员合影

金芝、郝丹共同致开幕辞。金芝对参会嘉宾表示热烈欢迎，并期待本次论坛为编译器领域开拓新方向、注入新动能。郝丹回顾了论坛发展历程，介绍了会议议程与承办单位概况，并对与会者表示诚挚欢迎。

金芝、郝丹致辞

谢涛以《RISC-V+AI Ecosystem andCompiler Testing》为题开启上午议程。他在报告中深入探讨了RISC-V生态系统中编译器测试的发展方向，强调了通过开放标准与开源软件构建全球产业兼容生态的重要意义，并提出了应对当前挑战的有效策略。

谢涛作报告

Andreas Zeller随后带来《Language-Based Compiler Testing》报告。他介绍了结合语法与约束的测试方法，并展示了如何利用被测编译器的约束和覆盖指导，实现高效编译器测试的最新研究成果。

Andreas Zeller作报告

Zhendong Su在《The Quest Toward that Perfect Compiler》报告中提出一个全新视角：通过评估现代编译器与理想“完美编译器”之间的差距，系统理解编译器能力，推动编译器技术取得基础性与实践性突破。

Zhendong Su作报告

Alastair F. Donaldson以《Randomised testing and test case reduction for GPU compilers》为题，分享其在GPU编译器自动化随机测试方面的系列工作，重点探讨了如何应对测试用例缩减难题及未定义行为带来的挑战。

Alastair F. Donaldson作报告

下午议程由MichaelPradel开启，他带来了题为《Testing Quantum Computing Platforms》的报告，介绍其在量子计算领域所作的测试工作。他的团队提出了MorphQ和QITE两项创新测试技术，已在Qiskit等主流量子计算平台中发现多个未知缺陷，有力提升了量子软件的可靠性。

MichaelPradel作报告

郝丹则聚焦于《Compiler Bug Isolation》这一问题。她详细剖析了编译器缺陷隔离面临的独特挑战，并系统介绍了其团队在该研究方向上的整体布局与探索思路。

郝丹作报告

赵英全在《MLIR Compiler Infrastructure Fuzzing》报告中，展示了一套针对MLIR编译基础设施的模糊测试技术体系。这些技术已成功发现大量潜在缺陷，为提升MLIR生态的稳健性提供了重要支撑。

赵英全作报告

汪宇霆以《Verified Compositional Compilation Based on Rely-Guarantee Reasoning》为题，提出了一种基于依赖保证推理的编译器组合验证框架。该工作成功解决了多线程程序中栈数据共享这一长期存在的验证难题，为支持多语言模块的可靠组合编译开辟了新途径。

汪宇霆作报告

主题报告之后，研讨会进入专题讨论环节。全体与会人员与报告嘉宾分为四个小组，围绕《AI-Driven Code-Optimization》《Finding & Fixing Compiler Bugs: LLM for Compiler》《Domain Specific Compiler: Opportunities & Challenges》以及《Conformance Testing for High-level Programming languages》等前沿议题，进行了深入而热烈的交流。小组讨论结束后，各小组代表集中汇报了讨论成果，为编译技术未来的发展路径提供了多元化的思考与建议。

讨论环节

本次论坛由中国计算机协会主办，中国计算机协会系统软件专委会和北京大学承办，天津大学和上海交通大学协办。论坛为国内外的编译器技术研究者和开发人员搭建了一个很好的交流平台。在专委会的支持下，编译器技术论坛也形成了一个具有鲜明领域特色的，分享智慧、交流思想、共促合作的研讨平台。论坛集中展示了编译器测试与验证领域的前沿动态，为促进全球编译器技术生态的健康发展提供了重要的学术交流平台。