内容介绍

报告嘉宾:江贺
报告名称:编译器测试研究进展
报告简介:
编译器作为软件开发环境的核心,是软件及信息产业的基础架构之一。随着技术的演进,以 GCC 和 LLVM 为代表的编译器规模日益庞大,如何确保编译器的质量成为软件工程领域的前沿热点。本报告将首先分析编译器测试领域的研究现状,包括研究重点、热门论文、研究者合作网络等。在此基础上,以编译器警告类缺陷测试为例,介绍编译器测试的一般流程及实验验证方法。

报告嘉宾:郑智文
报告名称:编译经典算法一指令调度的设计经验分享
报告简介:
在 RISC 之前,硬件和编译器有明确的责任划分一硬件负责底层表现,编译器负责语言翻译和独立的高层次优化(如公共子表达式消除) 。编译器将大量精力投入到指令选择算法中,但性能表现不明显。RISC 处理器的出现后,情况发生了变化。编译器主要负责发挥硬件的性能特性,硬件依赖编译器来智能生成高度优化的代码。如果没有高质量的编译器, RISC 架构就没有意义了一这是一个软硬件的协定。RISC 的"哲学”是将"架构 / 实现"的边界移到更接近硬件的地方,将关键性能特性暴露给编译器,以便编译器能够利用它们。这些表现特性中,尤其是对于现代处理器而言,最为关键的是处理器流水线的组织。为了实现高性能,编译器得重新排列指令,更有效地利用处理器提供的指令并行性称为指令调度。本报告将针对经典的编译优化算法之一 - 指令调度算法,来介绍指令调度在缓解寄存器压力和提高指令并发度上的经验。

报告嘉宾:史晓华
报告名称:《编译原理》课程和编译大赛的一些思考和讨论
报告简介:
报告人将结合多年来在北京航空航天大学讲授"编译原理”课程的经验,介绍北航在《编译原理》课程的建设、如何通过《编译课程设计》提升的学生能力等方面的实践,并就如何指导学生参加编译大赛谈谈自己的体验和思考,希望与各位老师和同学进行在线交流。

报告嘉宾:陈晟祺
报告名称:TrivialCompiler 经验分享
报告简介:
TrivialCompiler 是我们队在首届“华为毕昇杯”中获得一等奖的编译器实现,以 MIT 协议在 GitHub 开放源代码。本报告将介绍 TrivialCompiler 的整体架构、IR 设计、IR 优化、机器码优化等技术细节,以及我们参加比赛的一些经验,希望能对参加本届比赛的同学有所帮助。

评论

发布
暂无评论