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 – Intervenants

  • Claire Pagetti “Compilation WCET-aware de programmes synchrones “
  • Clément Ballabriga “Calcul paramétrique de limites de boucles sur des programmes binaires”
  • Claire Maiza “Timing analysis on multi-core: where are the challenges due to shared ressources? how the compiler may help to address them?” 
  • Erven Rohou “Traceability of Flow Information: Reconciling Compiler Optimizations and WCET Estimation”
  • Hugues Cassé “Intégration des événements temporels dans le calcul du WCET”

Résumés : wcet_compil17_abstracts

Inscription (gratuite):

par mail à Julien <dot> Forget <at> univ-lille1 <dot> fr avant le 31/10/2017

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