MIT & Cornell University

CS 4120: Introduction to Compilers (39 лекций)

Parsing

1 Course overview

2 Lexical analysis and regular expressions

3 Automating lexical analysis

4 Grammars and parsing

5 Top-down (LL) parsing

6 Bottom-up parsing

7 LR parsing and parser generators

Static semantics

8 Semantic analysis and symbol tables

9 Types

10 Type systems

11 Subtyping

12 Modules, type representation, visitors [notes|slides]

Code generation

13 Intermediate code (Wenzel Jakob)

14 Syntax-directed translation

15 IR lowering

16 PA2 recap and ABI specification

17 Trace covering and abstract assembly

18 Tiles and instruction selection

19 Finishing code generation

Optimization and program analysis

20 Introduction to optimization

21 Live variable analysis

22 Dataflow analysis

23 Dataflow analysis frameworks

24 Register allocation

25 Reaching definitions, webs, SSA

26 Control flow analysis

27 Induction variables and loop optimizations

28 More loop optimizations, value numbering

29 Redundancy elimination

30 Pointer/alias analysis

31 Interprocedural analysis, iterative fixed-point algorithms

Supporting advanced language features

32 Object layout and method dispatch

33 Multiple inheritance [slides|notes]

34 More object features, first-class functions

35 Functional language features

36 Linking and shared libraries

37 Memory management

38 Parametric polymorphism

39 Exceptions and beyond

MIT CS 4121: Practicum in Compilers ()