Compilers, 2015 Fall
Course Information
- Instructor: Hakjoo Oh
- Lecture: 17:00-18:15 on Tuesdays and Thursdays
- Reference:
Slides
Lectures
- Course Overview: lec0.pdf
- Structure of Compilers: lec1.pdf
- Lexical Analysis: lec2.pdf lec3.pdf lec4.pdf lec5.pdf
- Syntax Analysis: lec6.pdf lec7.pdf lec8.pdf lec9.pdf lec10.pdf calc.tar
- Translation: lec11.pdf lec12.pdf lec13.pdf
- Optimization and Static Analysis: lec14.pdf lec15.pdf lec16.pdf lec17.pdf lec18.pdf
- Register Allocation: lec19.pdf
- Last: lec20.pdf
Supplements
- Overview of Static Analysis Research at KU
- Program Synthesis
- A Gentle Introduction to Program Analysis (by Isil Dillig)
- What is static analysis? (by Matt Might)
Homework
Project (Due 11/20, Fri)
- Project Page (GitHub)
- Clone the project package from GitHub (Clone url: https://github.com/hakjoooh/CompilerProject2015.git)
- Complete four files: lexer.mll, parser.mly, translator.ml, and optimizer.ml
- Submit the four files via Blackboard.
- score
Exam
Reference
- OCaml basics: An introduction to OCaml, Tutorial
- OCamllex and OCamlyacc
- An introduction to Git
- How to install OCaml programming environment
- Installing the Programming Environment (for Windows users)
- VirtualBox Image (Ubuntu system with OCaml installed)
- Why ML?
Software Analysis Lab. @ Korea University