Enseignements
Cours
ENSTA, IN104
Projet informatique destiné aux élèves de 1ère année
Le projet était réalisé à du langage C++. Il s'agissait d'effectuer l'analyse syntaxique d'un petit langage de script, de construire une interface graphique et de mettre en oeuvre quelques algorithmes de traitement d'images.
durée: 23h
réalisé en 2009
pour en savoir plus
durée: 23h
réalisé en 2009
pour en savoir plus
ENSTA, B6-4
Projet de compilation et d'optimisation du langage C, destiné aux élèves de 3ème année
Le projet était réalisé à du langage C++. Il s'agissait de construire un AST d'un programme C, de le passer sous la forme SSA, d'appliquer quelques algorithmes d'optimisation et enfin de produire un exécutable.
durée: 10h
encadrement des TDs réalisé en 2008
pour en savoir plus
durée: 10h
encadrement des TDs réalisé en 2008
pour en savoir plus
Stages
ENSTA, Projet personnel en laboratoire
Encadrement d'un élève-ingénieur ENSTA de 2ème année
Il s'agissait d'effectuer une étude du modèle mémoire de SystemC, un langage de description matérielle basé sur C++. Les techniques d'analyse statique utilisé étaient l'interprétation abstraite et le model-checking (LTL) et visaient à analyser les chemins d'accès aux données.
durée: 2 mois
réalisé en 2008
durée: 2 mois
réalisé en 2008