Schedule

NOTE: The current schedule is tentative and subject to change. Nonetheless it gives an idea of the material to be covered in this course.

Key to readings: A = Appel. The readings are not required, but may help your understanding of the lecture material.

See below for lecture notes.

Lecture videos are on the Panopto page.  Lecture videos are typically available within 24 hours of the lecture. All students in the course are allowed to access the videos. Make sure that you are logged in.

The lecture notes here contain material from lecture notes by  Steve Zdancewic Links to an external site.,  Greg Morrisett Links to an external site.,  Jean-Baptiste Tristan Links to an external site., and  Elisavet Kozyri Links to an external site..

 

Homework dates

  • HW1: HellOCaml
    • due Monday Sept 13
  • HW2: X86Lite
    • due Monday Sept 27
  • HW3: LLVMLite
    • due Wednesday Oct 20
  • HW4: Oat v1
    • due Wednesday Nov 3
  • HW5: Oat Typechecking
    • due Tuesday Nov 23
  • HW6: Dataflow Analysis and Optimizations
    • due Thursday Dec 2 (everyone may use up to 3 late days)

Lecture Notes