Introduction to abstract interpretation

application to static program analysis. The goal is not to give an
exhaustive study of abstract interpretation, but to give enough
background to make papers on abstract interpretation more
understandable.

Overview of the course:
1) Motivation and intuition
2) A simple language, syntax, semantics
3) Approximation; Galois connections and their properties
4) Combinations of abstractions
5) Analysis of loops
6) Survey of abstract domains, abstract interpretation frameworks,
abstract interpretation as a thinking tool (with references to papers)

We expect a total of 4 or 5 lectures of about 2 hours, on Tuesdays
at 10am.