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

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

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