ES_PASS Workshop: Frontiers of abstract interpretation 2009

Febr. 5, 2009, Toulouse, France

The workshop should foster the exchange of novel ideas In particular, it should give researchers from the ES_PASS project the opportunity to present their achievements.

Location

Amphitheater of IRIT, in University Paul Sabatier, Toulouse

Preliminary programme

9:30 Invited Talks:
- Jean Claude Lebraud (Rockwell-Collins, France)
- David Monniaux (VERIMAG)
- Matthieu Martel: Roundoff error bounds on scade codes (aeronautic and space institute FNRAE)
12:00 Lunch break
13:30 Internal Talks I:
- Pedro Lopez Garcia: Resource Analysis
- Jürgen Busse, Jens Gerlach: Static analysis on railway vehicle on-board software - aims and achievements
- Eric Goubault, Sylvie Putot: Policy iteration for finding precise fixpoints in static analysis
15:00 Coffee break
15:30 Internal Talks II:
- Christian Ferdinand: How to Improve Usability of WCET tools
- Lili Tan: WCET Analysis for Model-based Code from in Mathlab/Simulink/Stateflow
- Virgile Prevosto: The static analysis tool Frama-C and its associated specification language for C, ACSL
17:00 Short break
17:30 Internal Talks III:
- Wenceslas Godard: EADS IW static analyzer "Penjili": first results
- Xavier Rival: Integration of backward analysis into Astree
18:30 End

Organizing committee chair

Helmut Seidl (TUM)

Important dates

Workshop: Febr. 5, 2009