Week

Tuesday

Thursday

Jan 24

No class

Intro, OCaml, Project 0: New PLs

Jan 31

OCaml

Lexing and Parsing, 03-examples.tar.gz, Project 1: OCaml Warmup

Feb 7

Lexing and Parsing

Lexing and Parsing

Feb 14

Lexing and Parsing

Operational Semantics, 04-op-sem.ml

Feb 21

Operational Semantics, Project 2: SAT Solver Front-End

Operational Semantics

Feb 28

Intermediate Representations

Midterm 1

Mar 7

Code Generation, Project 3: RubeVM Interpreter

Code Generation

Mar 14

Code Generation, 06-codegen-1.ml, 06-codegen-2.ml

Optimization, In-class exercise

Mar 21

Spring break: no class

Spring break: no class

Mar 28

Optimization, Data Flow Analysis

Data Flow Analysis, se.ml, se2.ml

Apr 4

Type Systems

Type Systems, 10-types.ml

Apr 11

Type Systems

Midterm 2

Apr 18

Symbolic Execution

Type Systems

Apr 25

Type Systems

Register Allocation

May 2

Defunctionalization, CPS, 12-cps-defun.ml

Defunctionalization, CPS

May 9

Project 6 Discussion

Final Exam Review

May 17

Final Exam @ 10:30a-12:30p

No class