Teachings

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

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

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.