Informations professionnelles
Statut: Docteur ED
ED: EDITE
Unité de recherche: LIP6
Employeur: Sorbonne Université Date de debut de thèse: 1 octobre 2017 Date soutenance de thèse: 25 novembre 2020 Encadrant : Dagand PIERRE-EVARISTE (IRIF) Directeur de thèse: Gilles MULLER (Non relevant) Sujet de thèse: Certified and Optimizing Bit Slicing Compiler
Employeur: Sorbonne Université Date de debut de thèse: 1 octobre 2017 Date soutenance de thèse: 25 novembre 2020 Encadrant : Dagand PIERRE-EVARISTE (IRIF) Directeur de thèse: Gilles MULLER (Non relevant) Sujet de thèse: Certified and Optimizing Bit Slicing Compiler