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

• HW1 (due 9/24)
• HW2 (due 10/15)

Project (Due 11/20, Fri)

1. Project Page (GitHub)
2. Clone the project package from GitHub (Clone url: https://github.com/hakjoooh/CompilerProject2015.git)
3. Complete four files: lexer.mll, parser.mly, translator.ml, and optimizer.ml
4. Submit the four files via Blackboard.
5. score

Exam

• Mid
• Final

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?
  • Who Teaches Functional Programming?
  • Why finantial companies on Wall street often use OCaml?
  • 프로그래밍 교육에서 실습 언어의 선택
  • 값 중심의 프로그래밍