6.820  Foundations of Prog Analysis

The last ten years have seen program analysis technology move from the periphery and into the mainstream of software development. Modern program analysis tools are routinely used to find hidden bugs in device drivers and major applications, and even to prove the absence of large classes of bugs in avionics software. Behind these exciting developments lies almost half a century of research in programming languages and automated reasoning.

This course will offer a comprehensive introduction to the field of program analysis. The course will cover some of the major forms of program analysis including Type Checking, Abstract Interpretation and Model Checking. For each of these, the course will cover the underlying theories as well as modern techniques and applications.

You can find more information about the course here.