COSE312-25S - SAL@KU

Compilers, 2025 Spring

Course Information

Instructor: Hakjoo Oh
TAs: Joonghoon Lee, Jiho Shinn
Lecture: 13:30-14:45 on Tuesdays and Thursdays

Slides

Course Overview: lec0.pdf
Overview of Compilers: lec1.pdf
Lexical Analysis: lec2.pdf
Syntax Analysis: lec3.pdf lec4.pdf lec5.pdf lec6.pdf lec7.pdf
Semantics : lec8.pdf lec12.pdf
Translation: lec9.pdf lec10.pdf lec11.pdf

Assignments

Repository

OCaml exercises: hw1.pdf (Due: 3/28 23:59)
- OCaml tutorial
Lexing and parsing: hw2.pdf (Due: 4/12 23:59)
- template
Compiler correctness: hw3.pdf (Due: 5/6 23:59)
Translator: hw4.pdf (Due: 5/18 23:59)
- template
Semantic analyzer
- template
Optimizer
- template

Software Analysis Lab. @ Korea University