Week

Tuesday

Thursday

Jan 27

Intro, OCaml, 2015.01.28.ml, Homework 1: New PLs

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

Feb 3

Lexing and Parsing

Lexing and Parsing, Bottom-up parsing

Feb 10

Lexing and Parsing

Operational Semantics, Project 2: Unit Calculator

Feb 17

Snow day

Operational Semantics, 04-op-sem.ml

Feb 24

Operational Semantics

Operational Semantics, Project 3: RubeVM Interpreter

Mar 3

Intermediate Representations, 05-interp.ml

Snow Day

Mar 10

Midterm review

Midterm 1

Mar 17

Spring break: no class

Spring break: no class

Mar 24

Code Generation, 06-code-gen-1.ml

Type Systems, 07-types.ml

Mar 31

Type Systems

Type Systems, Project 4: Rube Compiler

Apr 7

Code Generation

Optimization

Apr 14

Core ML to OCaml coreml-ocaml.ml

Core ML to RubeVM coreml-rubevm.ml

Apr 21

Parsing with Derivatives

Midterm 2

Apr 28

Parsing with Derivatives

Symbolic Execution

May 5

Project 5 review

Symbolic Execution

May 12

Final Exam Review

No class