Sign Analysis of Expressions and Programs

Simple Programming Language for Abstract Interpretation

Collecting Semantics

Semantics of Sign Analysis Domain

Mapping Fixpoints under Lattice Morphisms

Abstract Interpretation Recipe

Galois Connection on Lattices

• A Tutorial on Abstract Interpretation by Patrick Cousot, also local pdf copy
• Calculus of Computation Textbook Chapter 12, including Section 12.4
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints (original abstract interpretation paper)
• Lecture notes on static analysis by Michael Schwartzbach (sections 4,5,6,7 in particular) (also local pdf)
• Notes on program analysis, by Alex Aiken
• Patrick Cousot's MIT Class
• PA 2005 at Tel-Aviv University
• Lecture on ASTREE

Conferences:

• Symposium on Principles of Programming Languages (POPL)
• SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
• Static Analysis Symposium (SAS)
• Verification, Model Checking and Abstract Interpretation (VMCAI)