Aide à la migration de programme par preuve automatique d’équivalence

Encadré par David Pichardie et Alexandre Drewery

Inria Bretagne, EPICURE Team, IRISA Rennes

Septembre 2023 --

Compilation Polyédrique, torsions de nid de boucles algébriquement pavé

Encadré par Philippe Clauss et Clément Rossetti

Inria Grand Est, CAMUS Team, CNRS ICube

Mai -- Juillet 2023