Research

Research topics

  • Real-time systems
  • Compilation, automatic code generation
  • Static analysis and scheduling
  • Parallel hardware and software
  • Transactional memory

Current research

  • Fine-grain static analysis of interference in multicore architectures
  • WCET analysis of neural networks accelerated on GPUs
  • Efficient time-predictable processor architectures

PhD Students

  • Rémi Meunier: Prediction of execution time of applications running on multi-core processors
  • Iryna de Albuquerque Silva: Certified Programming Framework for Machine Learning Applications
  • Michael Adalbert: Worst-Case Execution Time analysis on GPU accelerators
  • Alban Gruin: Efficient, deterministic and composable RISC-V computation core

Current Projects

  • CIMI project AVATAr: Static analysis of autonomous vehicle software on GPUs (As project leader)
  • ANR JCJC MeSCAliNe: Joint analysis, scheduling and code generation for autonomous vehicles software (As project leader)
  • ANR ProTiPP: Proven predictable Processors
  • ANR CAOTIC: Collaborative Action On Timing Interference
  • ANITI – Chaire Towards the certification of ML-based systems (As Co-chair)
  • FRAE project AIxIA: Analyse d’Interférences par Intelligence Artificielle (Artificial Intelligence for Interference Analysis)

Program comitees/organising comitees

  • International conference on architecture of computing systems (ARCS) : 2020 – now
  • Conférence francophone d’informatique en Parallélisme, Architecture et Système (Compas) : 2022 – now
  • CAPITAL workshop : 2022 – now
  • EMSOFT WiP : 2022 – now
  • ECRTS : 2023 – now
  • Local organization comitee for HiPEAC 2023

Invited talks – Summer schools – Conference talks

  • École d’été temps-réel (ETR) : 2021. WCET analysis principles with OTAWA (PDF — FR)
  • Journée nationale GDR SoC2/IRT Saint Exupery : 2023. Timing predictability of GPUs: challenges and advances (PDF — EN)
  • RTAS 2024. A predictable SIMD library for GEMM routines (PDF short presentation version/ PDF full reading companion version)
Thème : Overlay par Kaira. Texte supplémentaire
Le Cap, Afrique du sud