Compilation and Program Analysis
Instructors: Gabriel Radanne, Ludovic Henrio
Institution: ENS de Lyon
Year: 2025–2026
The GitHub repository for this course can be found here.
Course notes
You can find course notes by the teachers of this course here.
Course chapters
- Introduction
- Semantics
- Types, Typing and MiniWhile
- Syntax-Directed Code Generation
- Intermediate Representations: CFG, Local optimisations
- Single Static Assignment (SSA)
- Register Allocation with SSA
- SSA for Fun and Optimisations
- Code Generation for Function Calls and Typing Functions
- Functions: semantics
- Parallelism