Week

Tuesday

Thursday

Aug 28

Intro, OCaml, Project 0: New PLs

OCaml, 02-examples.tar.gz

Sep 4

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

Lexing and Parsing, In-class exercise

Sep 11

Lexing and Parsing, LR(0) DFA Example, In-class exercise

Lexing and Parsing, LR(1) DFA Example

Sep 18

Operational Semantics, Project 2: SAT Solver Front-End

Operational Semantics

Sep 25

Operational Semantics, 04-op-sem.ml, In-class exercise

Virtual Machines, 05-vm.ml

Oct 2

Midterm Review

Midterm 1, Project 3: RubeVM Interpreter

Oct 9

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

Code Generation

Oct 16

Code Generation

Optimization, Project 4: Simpl Compiler

Oct 23

Optimization, Data Flow Analysis, In-class exercise

Data Flow Analysis, In-class exercise

Oct 30

Data Flow Analysis w/ CIL

Type Systems

Nov 6

Type Systems, Project 5: Rube Compiler

Symbolic Execution, se.ml, se2.ml, Types practice, Solutions

Nov 13

Midterm Review

Midterm 2

Nov 20

Exam Discussion

Thanksgiving

Nov 27

PL Research by Mike Hicks, Project 6: Rube Type Checking

LLVM

Dec 4

P5, Continuations, Web Assembly

Final Exam Review

Dec 11

No Class

Final Exam: 8:00am-10:00am