Covers the efficiency of register machines over stack machines, memory organization, and mapping instructions.
Covers MLIR, a compiler infrastructure for domain-specific computation, emphasizing the importance of multiple abstraction levels and higher-level semantics.
Covers approximation algorithms for optimization problems, LP relaxation, and randomized rounding techniques.
Explores dataflow analysis for optimization, including equations solving, live variables, reaching definitions, and very busy expressions.
Covers the Compiler Extension Lab, focusing on adding new functionality to a simple functional language compiler.
