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