CS 653: Static and Dynamic Program Analysis (Spring 2006)
(CLASS SCHEDULE)
Links to Class Resources
Places to Find Papers
Abstract Interpretation Resources
- Cousot Abstract Interpretation Course
- Cousot and Cousot, Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
- Jones and Nielson, Abstract Interpretation: a Semantics-Based Tool for Program Analysis
- Alexandru Salcianu, Notes on Abstract Interpretation