On this page:
Lecture Material
Programming Projects
Midterms
6.12

Schedule

    Lecture Material

    Programming Projects

    Midterms

Lecture Material

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

Programming Projects

Midterms

Web Accessibility