I've defended today my Master Thesis, about certified compilation using an intermediate language in SSA form. The report and the slides I've presented are available, in pdf (in french only).
