Sites Inria

English version

Prix et distinctions

25/01/2016

Most influential POPL paper de l'ACM SIGPLAN pour Xavier Leroy

Xavier Leroy, responsable de l'équipe-projet Gallium du centre de recherche Inria de Paris © Inria / Photo G. Scagnelli

Xavier Leroy, responsable de l'équipe-projet Gallium a reçu le "Most influential POPL paper" de l'ACM SIGPLAN.

Ce prix est attribué chaque année aux auteurs d'une publication présentée à la conférence POPL dix années auparavant et jugée comme ayant eu une influence sur la dernière décennie.

La publication récompensée s'intitule "Formal certification of a compiler back-end or: programming a compiler with a proof assistant ", elle a été présentée à la conférence POPL 2006.

Mots-clés : POPL Xavier Leroy Gallium SIGPLAN Awards

Haut de page

Suivez Inria