CSC 526 - Principles of Compiler Design II
Spring 2020

Instructor:

Dr. Dylan Schwesinger

Location:

OM 158

Meeting times:

Thursday 6:00pm - 8:50pm

Course Description

This is a project-oriented course in the implementation of a compiler of a simple programming language. Topics studied will include intermediate program representations, code generation and address assignment, register allocation and assignment on general-register machines, run-time storage administration, data-flow analysis, and code improvement.

Prerequisite: CSC 425 or permission of instructor

Course Materials

First day handout

Zoom meeting link

CSC 425 Lecture Notes

• Overview
• Simple Compiler Example
• Introduction to Lexical Analysis
• Implementation of Lexical Analysis
• Introduction to Parsing
• Abstract Syntax Trees
• Top-Down Parsing
• Introduction to Bottom-Up Parsing
• Introduction to Semantic Analysis
• Type Checking
• Operational Semantics
• Run-time Environments
• Code Generation

Lecture Notes

• Linking and Loading
• Debuggers and Profilers
• Parser Combinators

Assignments

• Using Git for Course Work
• Assignment 1
• Assignment 2
• Assignment 3
• Assignment 4
• Assignment 5
• Assignment 6
• Assignment 7
• Final Project

Links

• Pro Git
• Linux Tutorial
• git cheat sheet
• Compiler Construction Tutorial
• Compiler Construction
• Compiler Explorer
• The LLVM Compiler Infrastructure

x86-64 Links

• GNU Assembler Manual
• x86-64 Reference Sheet
• x86-64 Cheat Sheet
• x86-64 Instructions and ABI Introduction
• x86-64 Machine-Level Programming

OCaml Links

• OCaml Notes
• OCaml website
• Functional Programming in OCaml

Course Links

• CS0330 (Brown)
• CS335 (IITK)
• CS143 (Stanford)
• CS153 (Harvard)
• UG3 (The University of Edinburgh)

Tentative Schedule