2023年2月，华为加拿大研究院多伦多异构编译器实验室有幸邀请到阿尔伯塔大学Nelson Amaral教授针对“编译器设计与应用概论”课程进行现场授课。

课程概述

课程名称：

编译器设计与应用概论/An Introduction to Compiler Design and Implementation 

主讲人：

Nelson Amaral教授，加拿大阿尔伯塔大学

内容简介：

编译器设计与应用概论课程涵盖了编译器设计和优化中最重要的概念，理解这些概念对于编译器的研究人员和开发人员而说非常重要。课程较为简短，主要以介绍概念为主，希望课程参与者能够课后利用自己的时间继续对编译框架和实现进行探索。

课程涵盖的概念包括：

• 程序流分析（Program Flow Analysis）

• 数据依赖关系（Data Dependences）

• 环路优化（Loop Optimization）

• 代码生成（Code Generation）

• 静态单次分配（Static Single Assignment）

• 参考分析（Reference Analysis）

在讨论上述主题的同时，还简短引入使用机器学习技术来改进代码生成的讨论。

课程列表：

✅ Flow Analysis

✅ Loops and Dominance

✅ Points and Paths

✅ Reaching Definitions

✅ Iterative Algorithm for Reaching Definitions

✅ Introducing Static Single Assignment (SSA)

✅ Φ Functions, Processing Time and SSA

✅ Dominance Frontier, Join Sets and SSA

✅ Sreedhar-Gao SSA Conversion Algorithm and SSA Application

✅ Example of using SSA to Simplify Code

✅ Intermediate Representation and SSA Q&A

✅ Data Flow Analysis to Discover Very Busy Expressions: An Example

✅ Register Allocation

✅ Data Dependence in Loops (1): Introduction and Definition

✅ Data Dependence in Loops (2): Iteration Space, Direction Vectors and Examples

✅ Loop Restructuring

✅ Reference Analysis (1): Andersen’s X Steensgaard’s Analysis and Shapiro/Horwitz Algorithm

✅ Reference Analysis (2): May X (Possible or Definite) Points-to Relations

✅ Reference Analysis (3): Definitions and Tools

✅ Reference Analysis (4): L-locations and R-locations

✅ Reference Analysis (5): Innovation Graph and Function Pointer

以上课程录屏均已上传至“毕昇编译”视频号和B站账号，欢迎查阅~

B站链接：https://space.bilibili.com/1416344374/channel/seriesdetail?sid=3108487

教授介绍

J. Nelson Amaral, a Computing Science professor at the University of Alberta with a Ph.D. from The University of Texas at Austin, has published in optimizing compilers and high-performance computing. Scientific community service includes being a general chair for the 29th IEEE International Symposium on High-Performance Computer Architecture in 2023, the 23rd International Conference on Parallel Architectures and Compilation Techniques in 2014, the International Conference on Performance Engineering in 2020, and the International Conference on Parallel Processing in 2020. Accolades include the 2022 Standard Performance Evaluation Corporation Presidential Award, ACM Distinguished Engineer, IBM Faculty Fellow, IBM Faculty Awards, IBM CAS "Team of the Year", awards for excellence in teaching, the University of Alberta Graduate-Student Association Award for Excellence in Graduate Student Supervision, a University of Alberta Award for Outstanding Mentorship in Undergraduate Research & Creative Activities, and a University of Alberta 2020 COVID-19 Remote Teaching Award. In 2022 Amaral received a distinction as an Outstanding Consultant for Huawei.

原文转自 毕昇编译-课程回顾 | Nelson Amaral教授：编译器设计与应用概论