Teachings
Courses
ENSTA, IN104
Development project for engineering students (undergraduate level)
Students used C++ programming language. They were asked to process a syntactical analysis (parsing) of a script language, to implement basic image processing algorithms and to build a GUI.
performed in 2009.
more details
performed in 2009.
more details
ENSTA, B6-4
Development of a C-compiler for engineering students (master level)
Students used C++ programming language. They were asked to parse C programs, to build their abstract syntax tree (AST), to convert them into the static single assignment form (SSA), to implement basic optimization algorithms and to produce executable binaries.
I only assisted the students for their project in 2008.
more details
I only assisted the students for their project in 2008.
more details
Internships
ENSTA, Projet personnel en laboratoire
Research internship for an engineering student (master level)
The student was asked to study the memory model of SystemC, that is a hardware description language (HDL) based on C++ programming language. He used abstract interpretation, LTL temporal logic and a model-checker in order to verify access paths.
performed in 2008 during 2 months.
performed in 2008 during 2 months.