Important: Some content is password-protected. Please write to the professor to receive the password. All content is protected by the same password.

Teaching Material

Theory Lessons

Links to videos of the theory lessons are given personally to students attending the classes.

Exercise Lessons

LLVM

Links to the slides and the supplementary material:

Monotone Framework + Linker + LLVMCpy

All material is available here

DWARF

Slides available here

Readings

Here you find a list of readings that are recommended for all students of the course.

Basic readings

Compilers: Principles, Techniques and Tools
Modern Compiler Implementation in Java
LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation
Linear Scan Register Allocation
The Program Dependence Graph and Its Use in Optimization
Static Single Assignment Book
Uniprocessor garbage collection techniques
CTO class notes (password-protected)
A Catalogue of Optimizing Transformations (1971) – Surprisingly not that outdated!

Advanced readings

A data locality optimizing algorithm
Compiler transformations for high-performance computing
A Survey on Compiler Autotuning using Machine Learning
Compiler-level techniques for mapping to CPU/GPU from “A Survey of CPU-GPU Heterogeneous Computing Techniques”
A survey of ahead-of-time technologies in dynamic language environments
Tools for Reduced Precision Computation: A Survey
A Survey of Symbolic Execution Techniques
Formal Approaches to Secure Compilation: A Survey of Fully Abstract Compilation and Related Work
Control-flow analysis of functional programs
A Survey of WCET Analysis of Real-Time Operating Systems
Software Vulnerability Discovery Techniques: A Survey
From hack to elaborate technique - A survey on binary rewriting
GNU Compiler Collection (GCC) Internals