La journée se déroulera dans la salle 211, barre 55-65, à
l'UFR d'Ingénierie,
à Sorbonne Université sur le
campus Jussieu,
(4, place Jussieu, 75005 Paris).
Les exposés auront lieu en français.
Contact: Antoine Miné, .
[pdf]
-
09:45-10:00 :
Accueil
-
10:00-10:20 :
LIP6 - Airbus sharing perspectives
[slides]
Vincent Soumier, Hervé Delseny, Michel Angot (Airbus)
-
10:20-10:40 :
MOPSA, Static program verification by abstract interpretation
[slides]
Antoine Miné (APR, LIP6)
-
10:40-11:20 :
Software evolution and bug finding using Coccinelle
[slides]
Julia Lawall (Whisper, LIP6, INRIA)
-
11:20-12:00 :
Fault attack vulnerability assessment of binary code
[slides]
Jean-Baptiste Brejon (ALSOC, LIP6)
-
12:00-13:45 :
Déjeuner au Royal Jussieu, 1, rue des Écoles, 75005 Paris
-
13:45-14:25 :
Analysis of program differences with numerical abstract interpretation
[slides]
David Delmas (Airbus et APR, LIP6)
-
14:25-15:05 :
Modular static analysis of string manipulations in C programs
[slides]
Matthieu Journault (APR, LIP6)
-
15:05-15:45 :
Imperative programming by stepwise refinement in Coq
[slides]
Boubacar Sall (APR LIP6)
-
15:45-16:10 :
Pause
-
16:10-16:50 :
Une approche machine virtuelle générique pour la programmation de micro-contrôleurs
[slides]
Emmanuel Chailloux (APR, LIP6)
-
16:50-17:30 :
Verification of TinyOS device drivers using abstract interpretation
[slides]
Abdelraouf Ouadjaout (APR,LIP6)