Recherche Soutenance Thèse de Nabil Hallou "Runtime optimization of binary through vectorization transformations" thèse de doctorat de l'université de Rennes 1 en informatique