6.820 Foundations of Program Analysis


Class Info

Presents major principles and techniques for program analysis. Includes formal semantics, type systems and type-based program analysis, abstract interpretation and model checking and synthesis. Emphasis on Haskell and Ocaml, but no prior experience in these languages is assumed. Student assignments include implementing of techniques covered in class, including building simple verifiers.

This class has 6.035 as a prerequisite.

6.820 will be offered this semester (Fall 2017). It is instructed by A. Solar-Lezama.

This class counts for a total of 12 credits. This is a graduate-level class.

You can find more information at the Armando Solar-Lezama Home site or on the 6.820 Stellar site.

MIT 6.820 Foundations of Program Analysis Related Textbooks
MIT 6.820 Foundations of Program Analysis On The Web
Armando Solar-Lezama Home
Tags
armando rastislav pldi solar-lezama bodik vijay saraswat liviu tancau rastislav bodik armando solar-lezama

© Copyright 2015