ES_PASS Workshop: Industrialization of Abstract Interpretation 2009
Oct. 28, 2009, Madrid, Spain
Program
- 10:00-10:05 - Welcome.
- 10:05-10:50 - Francesco Logozzo (Microsoft) (invited talk). Clousot: a language agnostic abstract interpretation-based
static analyzer for modular contract checking.
- 10:50-11:20 - Alan Mycroft (U. of Cambridge) (invited
talk). Unrestricted Pointers Considered Harmful.
Abstract
- 11:20 Coffee Break.
- 11:45-12:15 - Mark Marron (IMDEA Software) (invited talk). Modeling The Heap. A Practical
Approach.
- 12:15-12:45 - Christian Hümbert (AbsInt). Survey on Static Timing
Analysis and Static Stack Usage Analysis.
Abstract
- 12:45-13:15 - Pascal Cuoq (CEA). Generating annotations for a binary analyzer from source-level
analysis.
Abstract
- 13:15 Lunch Break.
- 14:45-15:15 - Laurent Mauborgne (ENS). New Domains for Astrée.
- 15:15-15:45 - Jürgen Busse (IFB), Jens Gerlach (FIRST). Experiences with
ES_PASS Static Analysis Tools and Future Aspects within the
Railway Domain.
Abstract
- 15:45-16:15 - Eric Goubault, Sylvie Putot (CEA/LIST). On the Industrial use of
FLUCTUAT.
- 16:15-16:45 - Michael Petter (TUM). Practical Aspects of Path
Analysis.
- 16:45 Coffee break.
- 17:15-17:45 - Marc Pantel (IRIT). Certification and Qualification Constraints for
the Development of Static Analysers.
- 17:45-18:15 - Wenceslas Godard (EADS IW). EADS IW Static Analysis
Improvements.
- 18:15-18:45 - Discussion on the organisation of the ES_PASS static analysis community network.
- 18:45 End.