6.820 | Fall 2015 | Undergraduate

Fundamentals of Program Analysis

Lecture Notes

pdf
3 MB
Introduction to Functional Programming and Types, Lecture 1
pdf
132 kB
Lambda Calculus, Lecture 2
pdf
365 kB
Big-Step vs. Small-Step Semantics and the λLet Calculus, Lecture 3
pdf
325 kB
Coq Crash Course (Examples in Operational Semantics), Lecture 4
file
20 kB
Coq Examples, Lecture 5
pdf
411 kB
Introduction to Simple Types, Lecture 5
pdf
387 kB
Hindley-Milner Type Inference and Polymorphic Types, Lecture 6
pdf
584 kB
Algebraic Data Types & Their Ingredients: Product, Sum, and Recursive Types, Lecture 7
pdf
416 kB
Type Classes and Subtyping, Lecture 8
pdf
339 kB
Monads, Lecture 9
pdf
393 kB
Typing of Imperative Programs, Lecture 10
pdf
468 kB
Verification of Complex Properties with Types: From Information Flow to Race Detection, Lecture 11
pdf
546 kB
Intro to Axiomatic Semantics, Lecture 12
pdf
407 kB
Verification Condition Generation, Lecture 13
pdf
1 MB
Total Correctness and Termination, Lecture 14
pdf
840 kB
Separation Logic, Lecture 15
pdf
632 kB
Axiomatic Semantics for Concurrency: Rely-Guarantee & Concurrent Separation Logic, Lecture 16
pdf
780 kB
Dataflow Analysis, Lattices, Fixed Points, Lecture 17
pdf
410 kB
Dataflow Analysis and Abstract Interpretation, Lecture 18
pdf
1 MB
Abstract Interpretation, Galois Connections (cont.), Lecture 19
pdf
741 kB
The Heap: Inferring Loop Invariants about Data Structure Shape, Lecture 20
pdf
1 MB
Intro to Models and Properties, Lectures 21
pdf
1 MB
Temporal Logic, Lecture 22
pdf
1 MB
Explicit State Model Checking, Lecture 23
pdf
987 kB
Symbolic Model Checking, Lecture 24
pdf
1 MB
Software Model Checking with Abstraction Refinement, Lecture 25
pdf
1 MB
From Model Checking to Synthesis, Lecture 26

Course Info

Departments

As Taught In

Fall 2015

Level

Undergraduate

Topics

Learning Resource Types

Lecture Notes
Programming Assignments
Download Course
MIT Open Learning
Over 2,500 courses & materials
Freely sharing knowledge with learners and educators around the world. Learn more
© 2001–2026 Massachusetts Institute of Technology
Accessibility
Creative Commons License
Terms and Conditions
Proud member of:
© 2001–2026 Massachusetts Institute of Technology