Seminar : when Compilation meets WCET analysis

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

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      

Résumés : wcet_compil17_abstracts

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)

 

 

Comments are closed