Enseignements

PhD Courses and Seminars

• Polyhedral Compilation: A Short Survey, ポリヘドラル コンパイラ, Waseda University, Tokyo, Japan.
• Polyhedral Compilation at a Glance, séminaire L3 ENS-Lyon, Le Pleynet.

ENS de Lyon - Master 2 Informatique fondamentale

• CR14: Static Analysis and Optimizing Compilers with Yannick Zakowski and Laure Gonnord, CM+TD, 2021-.
• CR11: Hardware Compilation and Simulation with Matthieu Moy, CM+TD, 2018-2019.
• CR16: Advanced Compilers: Automatic Parallelization and High-level Synthesis with Fabrice Rastello, CM+TD, 2016-2017.
• CR18: Advanced Compilers: Loop Transformations and High-Level Synthesis with Tomofumi Yuki, CM, 2015-2016.
• CR10: Advanced Compilers with Fabrice Rastello and Florent Dupont de Dinechin, CM, 2013-2015.

ENS de Lyon - Préparation à l'agrégation d'informatique

• Compilation

ENS de Lyon - Master 1 Informatique fondamentale

• Compilation, CM, 2010-2015.
• Compilation et analyse de programmes, CM, 2015-2016.

INSA Centre-Val de Loire - STI 3A et 4A

• Optimisation des applications embarquées, filière 4A, CM+TD, 2014-.
• Compilation, filière 3A, CM+TD, 2016-.
• Compilation et outils de développement, filière 3A, CM+TD, 2009-2016.

Université Lyon 1 - Licence d'informatique

• Architecture des ordinateurs, TP, 2011-2014.

ENS de Lyon - mini-écoles de recherches

• Ecole de recherche "Software Verification", 2011-2012.
• Ecole de recherche Beyond the PC, 2009-2010.