Course

CS-420: Advanced compiler construction

Lectures in this course (20)

Course Introduction: Compilation of High-Level Languages

Covers the course on compiling high-level languages and optimizing code.

Covers intermediate representations in compilers, focusing on CPS/L3 functional IR with local continuations and control constructs.

Values Representation: Tagging and Boxing

Explores improving translation, source context-based translations, and value representation techniques like tagging and boxing.

Closure Conversion: Representation and Transformation

Explores the representation and transformation of values, focusing on closure conversion and the challenges of representing functions in functional languages.

Dataflow Analysis: Translation Inefficiencies and Optimizations

Explores translation inefficiencies, optimizations, hoisting functions, closure conversion, and dataflow analysis concepts like available expressions and live variables.

Closure Conversion and Dataflow Analysis

Explores closure conversion, function hoisting, and dataflow analysis for program optimization.

Code Optimization: Speeding-up Analyses

Explores techniques to speed up dataflow analyses and discusses the importance of node ordering and post-order traversal.

Dataflow Analysis: Optimization

Explores dataflow analysis for optimization, including equations solving, live variables, reaching definitions, and very busy expressions.

Covers register allocation techniques and strategies, including graph coloring and spilling integration.

Optimization: Register Allocation

Covers advanced compiler construction topics on optimization techniques like dead code elimination, constant folding, and register allocation.

Tail Calls: Optimization Techniques

Explores tail call optimization in functional programming, discussing trampolines, Baker's technique, and more.

Covers register allocation techniques, including interference graph examples, coloring, spilling, and coalescing.

Interpreters and Virtual Machines

Explores interpreters, virtual machines, optimization techniques, and memory management in programming languages.

Interpreters and Virtual Machines

Explores interpreters and virtual machines, discussing their advantages, types, and optimization techniques.

Memory Management: Part I

Covers memory management concepts such as block headers, external fragmentation, reference counting, and mark & sweep garbage collection.

Memory Management: Allocation and Deallocation

Covers memory management, focusing on allocation and deallocation of memory blocks, including garbage collection techniques and fragmentation issues.

Memory Management: Copying Garbage Collection

Explores copying garbage collection, generational GC, inter-generational pointers, finalizers, weak references, and various GC techniques.

Garbage Collection in Object-Oriented Languages

Explores garbage collection techniques in object-oriented languages, focusing on mostly-copying and generational GC, heap organization, promotion policies, and method dispatch challenges.

Object Layout: Single Inheritance

Covers object layout challenges in single inheritance scenarios, focusing on Java-like languages and method dispatch using virtual methods tables.

Method Dispatch Optimization

Explores method dispatch optimization in object-oriented languages, focusing on inline caching and membership tests.