0

(

ratings

)

1

students

Created by:

Profile Photo

Last updated:

December 3, 2022

Duration:

Unlimited Duration

FREE

This course includes:

Unlimited Duration

Badge on Completion

Certificate of completion

Unlimited Duration

Description

This course offers a comprehensive introduction to the field of program analysis.

It covers some of the major forms of program analysis including Type Checking, Abstract Interpretation and Model Checking. For each of these, the course covers the underlying theories as well as modern techniques and applications.

Course Curriculum

    • Introduction to Functional Programming and Types Unlimited
    • Lambda Calculus Unlimited
    • Big-Step vs. Small-Step Semantics and the λLet Calculus Unlimited
    • Coq Crash Course (Examples in Operational Semantics) Unlimited
    • Introduction to Simple Types Unlimited
    • Hindley-Milner Type Inference and Polymorphic Types Unlimited
    • Algebraic Data Types & Their Ingredients: Product, Sum, and Recursive Types Unlimited
    • Type Classes and Subtyping Unlimited
    • Monads Unlimited
    • Typing of Imperative Programs Unlimited
    • Verification of Complex Properties with Types: From Information Flow to Race Detection Unlimited
    • Intro to Axiomatic Semantics Unlimited
    • Verification Condition Generation Unlimited
    • Total Correctness and Termination Unlimited
    • Separation Logic Unlimited
    • Axiomatic Semantics for Concurrency: Rely-Guarantee & Concurrent Separation Logic Unlimited
    • Dataflow Analysis, Lattices, Fixed Points Unlimited
    • Abstract Interpretation, Galois Connections Unlimited
    • Abstract Interpretation, Galois Connections (cont.) Unlimited
    • The Heap: Inferring Loop Invariants about Data Structure Shape Unlimited
    • Intro to Models and Properties Unlimited
    • Temporal Logic Unlimited
    • Explicit State Model Checking Unlimited
    • Symbolic Model Checking Unlimited
    • Software Model Checking with Abstraction Refinement Unlimited
    • From Model Checking to Synthesis Unlimited

About the instructor

5 5

Instructor Rating

1

Reviews

1520

Courses

1915

Students

Profile Photo
Massachusetts Institute of Technology