Sites Inria

English version

Prix et distinctions

27/03/2014

Prix SIGPLAN Achievement Award & Most Influential ICFP Paper Award

Patrick et Radhia Cousot (Abstraction) ont reçu le Prix SIGPLAN Achievement Award .
Patrick et Radhia Cousot sont les co-inventeurs de l’interprétation abstraite, une théorie unificatrice de l’abstraction correcte et de l’approximation de structures retrouvées dans plusieurs domaines de l’informatique : sémantiques formelles, spécifications, preuves et vérification. En particulier, l’interprétation abstraite à eu un impact majeur sur le développement de l’analyse statique de logiciels. Les “Cousots” et leurs collaborateurs ont réalisé le développement de l’analyseur statique Astrée, utilisé dans les industries médicales, automobiles et aérospatiales pour vérifier l’absence d’une large classe d’erreurs de programmation courantes. Cette réalisation est l’une des plus substantielles en matière de vérification de programme à ce jour.

• Didier Le Botlan et Didier Remy ont reçu le Prix SIGPLAN Most Influential ICFP Paper Award pour leur publication « MLF: raising ML to the power of system F ». L’article de Didier Le Botlan et Didier Rémy sur MLF représente une avancée majeure pour l’inférence de types avec polymorphisme de première classe, qui a eu une grande influence sur les travaux qui l’ont suivi. L’idée remarquable est de retrouver les types principaux de ML non pas en restreignant Système F, mais en allant au-delà vers un système plus expressif. Des annotations du programme permettent de retrouver les bonnes propriétés de l’inférence : types principaux, complétude de l’algorithme par rapport à une spécification déclarative et robustesse face aux transformations de programme.

Mots-clés : Prix SIGPLAN

Haut de page

Suivez Inria