On this page:
Lecture Material
Programming Projects
Midterms
6.8

Schedule

    Lecture Material

    Programming Projects

    Midterms

Lecture Material

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

Programming Projects

Midterms