Domain-Specific Abstract Interpretations: Experience Reports

I was invited by Prof. Kwangkeun Yi to give a series of lectures at Seoul National University in January 2009.

Here are the titles and the slides of the talks:

• Reachability analysis of protein-protein interaction networks
• the related paper has been published in VMCAI 2008
• slides of the talk are available in pdf
• Automatic reduction of ODE semantics for protein-protein interaction networks
• the related paper has been published in PNAS
• slides of the talk are available in pdf
• An overview of ASTREE
• related papers have beeen published in:
  • The Essence of Computation: Complexity, Analysis, Transformation,
  • PLDI 2003,
  • ESOP 2005.
• Slides have been taken among the slides of the course that Patrick Cousot gave at MIT in 2005, and the tutorial that Antoine Miné gave at the Workshop on Security and Reliability in Software Systems in 2008.
  I would like to acknowledge Patrick Cousot and Antoine Miné for letting me use their slides.
  These slides are not available.
• Two examples of numerical domains
• related papers have beeen published in VMCAI 2005 and ESOP 2004.
• slides of the talk are available in pdf
• Reduced product in ASTREE
• the related paper has been published in ASIAN 2006.
• slides of the talk are available in pdf

---

Jérôme Feret, Last modified: 21 Nov 2022, 16:56:08 CET