Le groupe Compilation co-organise avec les communautés temps-réel et architecture une journée commune “when compilation meets WCET analysis.”.
Lieu : Inria de Paris https://www.inria.fr/centre/paris/presentation/comment-venir
Salle JJ Lions 1.
Dates : 23 novembre 2017
Programme
9h30-10h15 : accueil, café
10h15-11h : Claire Pagetti, “Compilation WCET-aware de programmes synchrones”
11h-11h45 :Erven Rohou, “Traceability of Flow Information: Reconciling Compiler Optimizations and WCET Estimation”
11h45-13h40 : déjeuner – Le repas n’est pas compris dans l’inscription. Nous avons néanmoins réservé dans des restaurants aux alentours. Se renseigner auprès des organisateurs.
13h40-13h45 – présentation de l’équipe en construction: CASH, par Matthieu Moy (Univ Lyon1/LIP)
13h45-14h30 : Claire Maiza, “Timing analysis on multi-core: where are the challenges due to shared ressources? how the compiler may help to address them?”
14h30-15h15 : Hugues Cassé, “Intégration des événements temporels dans le calcul du WCET”
15h15-15h45 : pause
15h45-16h30 : Clément Ballabriga, “Les polyèdres dans le calcul paramétrique de WCET sur des programmes binaires”
16h30-17h : Conclusions
Inscriptions : closes
Sponsors
GDR GPL, GDR SOCSOC
Organisateurs
Clément Ballabriga (CRISTAL, Lille), Sébastien Faucou (LS2N, Nantes), Julien Forget (CRISTAL, Lille), Laure Gonnord (LIP, Lyon)
