2022年1月18日，由中国计算机学会主办，中国计算机学会系统软件专委会、江苏省计算机学会计算机软件专委会、江苏省软件新技术与产业化协同创新中心承办的2022编译器技术论坛在线成功举办！

  本次论坛邀请海内外多位编译器领域研究和实践专家分享新编程语言、新领域、新架构、新场景下新型编译器构建优化技术，编译器正确性、安全性、可靠性、性能等可信保障技术，以及所面临的挑战和亟待解决的关键问题，吸引青年学者和从业人员投身到编译器研究与产业化领域，启发问题驱动的研究，共同探讨编译器自主、安全与创新之路，推动中国软件事业发展。

  论坛开幕式由论坛主席北京大学郝丹副教授主持。CCF系统软件专委会主任，北京大学金芝教授出席开幕式并致辞。金芝教授强调编译器是国家基础软件的重要组成，希望参会专家可以从本次论坛讨论的主题出发，进一步深入研讨，并促进研究成果落地，真正做到产学研结合，推动相关基础系统软件方向的发展。最后，金芝教授对各位专家学者莅临此次论坛表示感谢，预祝论坛顺利开展，并对大家疫情后线下参与系统软件专委编译器相关学术活动发出诚挚的邀请。

  开幕式后，本次论坛报告正式开始，共分为四个session进行，分别由论坛主席南京大学卜磊教授，以及南京大学左志强副研究员，天津大学陈俊洁副教授，南京大学王豫助理研究员进行主持。

  上午的第一场特邀报告由来自北卡罗来纳州立大学的慎熙鹏教授进行，报告题目是《Optimizing Compiler for Differentiable Programming and Software 2.0》。在报告中，慎教授首先指出可微分编程的重要性，之后分析了可微分编程中，算法式微分和符号式微分所存在的问题，并针对符号式微分（symbolic differentiation）难以处理控制流（分支、循环）这个问题提出了基于Φ算子的解决方法。

  上午的第二场特邀报告由来自Intel的罗元轲先生进行。报告题为《DPC++ programming model for AMX (Intel Advanced Matrix Extensions)》。罗老师对AMX和DPC++进行介绍，着重介绍了AMX如何在DPC++中使能。具体而言，首先介绍了Intel为DPC++针对AMX所提供的API，再介绍如何扩展到SPIRV和LLVM IR，以及如何把AMX intrinsics lowering到相应的X86的指令中，并对后续发展方向进行了分享。 

  在上午的第三场特邀报告中，国防科技大学的唐滔老师进行了题为《天河超级计算机的异构编程模型与优化》的报告。唐老师对异构编程以及天河超算进行回顾，重点介绍了近期在最新一代天河系统上的异构编程和编译方面的工作，并对超算平台上编程和编译技术的发展进行展望。

  上午的第四个特邀报告是由华为技术有限公司的魏伟先生进行的题为《毕昇编译器：基于HPC高性能计算的编译技术实践》的报告。报告对华为毕昇编译器、超算场景应用与优化的挑战等进行介绍，并重点介绍毕昇编译器中如何设计及增强各类编译优化算法（如内存和循环优化、浮点精度调优等），从而提升指令生成效率，发挥硬件算力，实现各类HPC应用的性能提升。

  下午论坛议程同样由四个特邀报告构成。

   首先，中国科学院计算所高级工程师刘颖作题为《申威异构众核处理器的OpenCL编译优化技术》的特邀报告。由于国产超算软件系统逐渐支持更多的编程语言、并提供高效的编译支持，超算软件系统在国产超算的推广使用中显得愈发重要。但是程序员所使用的编程语言与硬件紧耦合，例如神威和天河的语言就有所不同。对此，为了避免程序员和硬件紧耦合，刘老师介绍了支持申威处理器的OpenCL编译系统，并提出了面向申威体系结构的优化技术，包括host-kernel融合编译技术、带宽敏感的循环分块、带宽感知的优化等。

  接着，无锡先进技术研究院语言编译研发部副主任黄亮明博士作题为《申威基础编译器性能工作介绍》的特邀报告。黄亮明博士首先回顾申威编译器产品的历史，介绍国产申威通用处理器配套基础编译器的性能优化工作，并介绍处理器设计过程中开展的基础性能分析等编译器协同工作，最后提出申威基础编译器方面的后续工作思路。

  来自华为技术有限公司的王迈先生作题为《通用编译器测试方法》的特邀报告。他主要分享华为编译器团队如何进行质量可信保障工作。报告中介绍了编译器测试常见挑战；测试防护网建设，包括基础测试能力、专项测试能力、工程能力建设，及测试工具集；并总结已有编译器测试的特征和存在的问题，给出展望。

  最后一场报告是由大会主席北京大学郝丹副教授带来的《数据驱动的编译器测试研究》。郝丹老师详细介绍了数据驱动编译器测试技术所取得的研究进展，并分析相关研究面临的挑战。郝丹老师从测试程序构造、测试预言构造、测试执行优化、测试结果分析、实证研究五个方面进行介绍，并指出编译器测试的核心挑战是测试程序和测试预言的构造，并对相关方向工作进展进行介绍。在此基础上，郝丹老师进一步介绍面向数据多样性的测试程序构造和基于特征的测试程序排序，并对编译器测试的挑战和未来研究方向做出展望。

  精彩报告之后，论坛主席郝丹副教授就此次会议进行总结， 作为系统软件专委2022年的第一场学术活动，也是农历辛丑年专委的最后一场学术活动，本次论坛引起了广泛关注。论坛共吸引了来自高等院校、研究机构、科技型企业等近两百名代表线上出席。五千余听众在线观看并展开热烈讨论。