http://web.mit.edu/afs/athena.mit.edu/course/16/16.399/www/#notes
Комментарий от @ksromanov. Курс Кузо — одного из основоположников абстрактной интерпретации, то есть, обобщения различных точных методов статического анализа, таких как различные методы статического анализа, основанные на monotone frameworks, статическая типизация с выводом и без вывода типов, и многих других.
Курс очень интересен широтой охвата. К сожалению, видео, похоже, не записывалось, но есть вполне читаемые и понятные слайды. Курс отлично идёт вместе с книгой A. Møller'а Static Program Analysis — непонятные места из одного источника можно посмотреть в другом. В частности, у A. Møller'а значительно лучше и последовательнее сформулирован подход monotone frameworks (решёток), который применяется и у Кузо.
Курс, разработанный Anders Møller и др. (Aarhus University).
Конспект лекций: https://cs.au.dk/~amoeller/spa/
Обзорная лекция на youtube (часть 1): https://www.youtube.com/watch?v=Lr4cMmaJHrg
Обзорная лекция на youtube (часть 2): https://www.youtube.com/watch?v=6QQSIIvH-F0
Многими (в числе которых, скажем, John Regehr) данный специальный курс по вопросам статического анализа считается лучшим в своем роде. Мне имеет смысл только присоединиться к этому мнению. Лекции написаны очень хорошо: легкий язык, современный подход к предмету, большой охват материала.
Комментарий от @ksromanov.
Это превосходный курс, в который до сих пор вносятся изменения. В курсе рассказывается про разновидности статического анализа программ, базирующихся на подходе абстрактной интерпретации: вывод типов Хиндли-Милнера, Data-flow/Control-flow анализы, базирующиеся на Monotone Frameworks (частный случай абстрактной интерпретации с явным использованием решёток в качестве абстрактного домена), техника widening/narrowing. Широта охвата впечатляет.