08 fév 2008
11:30 - 12:30
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
En libre accès, dans la limite des places disponibles
URL de la vidéo

Xavier Leroy, Directeur de Recherches à l’INRIA a présenté la compilation de programmes de haut niveau en code machine. Il en a détaillé les différentes étapes : analyse syntaxique, analyse des types, allocation des données, en mémoire, mécanismes d’exécution par piles, allocation de registres, optimisation, et génération de code. Il a montré qu’optimiser un programme demandait souvent de spéculer pour compenser la lenteur des mémoires, en dépliant les boucles et en réordonnançant le code expansé obtenu pour pré-charger les données avant d’en avoir réellement besoin. Il a enfin montré la possibilité d’écrire des compilateurs mathématiquement prouvés correct, exploit que son groupe a été le premier à réaliser et qui pourra avoir des impacts pratiques considérables à l’avenir.