CIS531

CIS531 — Fall 2025

Compiler Construction

Week 1: Course Intro

Week 2: Racket Refresher, Interpreting LVar

Week 3: Syntactic Analysis and Parsing

Week 4: Compiling LVar to x86

Week 5: Static-Single Assignment (SSA/ANF), Control-Flow, and Type Checking

Week 6: Midterm 1

  • 9/30
    Midterm 1: Review
  • 10/2
    MIDTERM 1 (In Person)

Week 7: Assignment Conversion and Garbage Collection

  • 10/7
    More Project 2 Discussion
  • 10/7
    SSA, A-Normal Form, and CPS (Introduction)
  • 10/9
    Branching Control-Flow, Project 3 Intro

Week 8: Fall Break & Loops

Week 9: Loops and Data Flow Analysis

Week 10: Activation Records and Procedures

  • 10/28
    Procedures and Lambdas
  • 10/28
    HW4: Assignment Conversion and Procedures -- Released 10/28, due 11/13
  • 10/30
    Scaling Static Analysis via Logic Programming
  • Project 4
    Project 4 (assigned 10/30, due 11/12)

    • Week 11: Register Allocation

    • 11/4
      Short Lesson: Implementing Pattern Matching
      Register Allocation: Interference Graph, Graph Coloring, and D-SATUR
    • 11/6
      Objects Oriented Programming and Objects vs. Closures

    Week 12: Type Systems and Whole-Program Optimization

    Week 13: Midterm 2

    Week 14: Thanksgiving

    • 11/25
      Thanksgiving Part 1 (No Class)
    • 11/27
      Thanksgiving: Grand Finale (No Class)

    Week 15: MLIR and Declarative Analysis

    • 12/2
      Garbage Collection (Mini Lecture) and LLVM (mini lecture)
    • 12/4
      Equality Saturation, Datalog, and Egglog

    Week 16: Final Project, Presentation, and Final Exam

    • 12/9
      Final Project Presentation
    • 12/12
      Final Project: Code / Report Due
    • 12/12
      FINAL EXAM