1. Motivation for static analysis by abstract interpretation, 5 August 2009, 10:45—11:30
2. First introduction to abstract interpretation: Abstraction of a trace semantics into a relational and a reachability semantics, 5 August 2009, 11:35—12:20
3. Static analysis by abstract interpretation: Fixpoint abstraction and convergence acceleration, 6 August 2009, 8:45—9:30
4. Static verification by abstract interpretation, Examples of effective abstractions, 6 August 2009, 9:35—10:20
5. Scaling up static analysis by abstract interpretation: Example of ASTRÉE, 7 August 2009, 9:35—10:20

• Patrick Cousot & Radhia Cousot.
  Basic Concepts of Abstract Interpretation.
  In Building the Information Society , René Jacquard (Ed.), Kluwer Academic Publishers, pp. 359—366, 2004. (IFIP WCC 2004 Toulouse, Topical Day on Abstract Interpretation, Tuesday 24 August 2004).
• Patrick Cousot & Radhia Cousot. Abstract interpretation and application to logic programs. Journal of Logic Programming, 13(2—3):103—179, 1992.
• Patrick Cousot & Radhia Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Conference Record of the Fourth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 238—252, Los Angeles, California, 1977. ACM Press, New York, NY, USA.
• Patrick Cousot & Radhia Cousot. Systematic design of program analysis frameworks. In Conference Record of the Sixth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages pages 269—282, San Antonio, Texas, 1979. ACM Press, New York, U.S.A.
• Patrick Cousot & Radhia Cousot. Comparing the Galois connection and widening/narrowing approaches to abstract interpretation. In M. Bruynooghe & M. Wirsing, editors, Programming Language Implementation and Logic Programming, Proceedings of the Fourth International Symposium, PLILP'92
• Patrick Cousot & Radhia Cousot. Abstract interpretation frameworks. Journal of Logic and Computation, 2(4):511—547, August 1992.
• Patrick Cousot & Radhia Cousot. Higher-order abstract interpretation (and application to comportment analysis generalizing strictness, termination, projection and PER analysis of functional languages). In Proceedings of the 1994 International Conference on Computer Languages, ICCL'94, Toulouse, France, pages 95—112. IEEE Computer Society Press, Los Alamitos, California, U.S.A., May 16—19, 1994.
• Patrick Cousot.
  Constructive Design of a Hierarchy of Semantics of a Transition System by Abstract Interpretation. Theoretical Computer Science,, 277(1—2):47—103, 2002. © Elsevier Science.
• Patrick Cousot. Types as Abstract Interpretations. Conference Record of the 24th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Programming Languages, Paris, France, 15—17 January 1997. ACM Press, New York, U.S.A. pp. 316-331.
• Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, & Xavier Rival.
  Varieties of Static Analyzers: A Comparison with ASTRÉE.
  First IEEE & IFIP International Symposium on ``Theoretical Aspects of Software Engineering'', TASE'07, Shanghai, China, 6—8 June 2007, pp. 3—17.

\bibitem{Cousot09-Marktoberdorf}
P{.} Cousot.
\newblock Basic concepts of abstract interpretation.
\newblock \emph{Summer School Marktoberdorf 2009: Logics and Languages for 
          Reliability and Security},
          Marktoberdorf, Germany, August 4 to August 16, 2009.

@unpublished{Cousot09-Marktoberdorf,
   author = {P{.} Cousot},
   title  = {Basic concepts of abstract interpretation},
   note =   {Summer School Marktoberdorf 2009: Logics and Languages for 
             Reliability and Security},
  address = {Marktoberdorf, Germany},
  month =   {August 4 to August 16, 2009},
  year =    2009,
}