Course Description

The goal of program analysis is to discover invariants about program behavior, i.e., guarantees about how a program will behave when it executes. The purpose of this course is to provide an introduction to the mathematical foundations of program analysis and its capabilities and limitations.

This course is listed as a Foundations course.

Course Information

Class will be conducted via live synchronous Zoom lectures at the regular course times. We will also be interacting on a class Slack workspace. I will be sending a Slack invite to all registered students before the first class, and the workspace will have a message giving the Zoom link for lectures. If you think that you should be in this course but do not recieve an invite by Monday afternoon (Jan 4), send me an email directly.