Paul Feautrier

Abstract - Streaming in the Polyhedral Model: CRP et Syntol

De très nombreux langages de "streaming" ont été proposés ces dernières années, depuis les réseaux de processus de Kahn (KPN) et les SDF de Lee et Messerschmidt, jusqu'à OpenStream de Pop et Cohen. Ils diffèrent essentiellement par leur degré de dynamisme, depuis le plus rigide, SDF, qui peut être entièrement analysé et vérifié ‡ la compilation, jusqu'aux KPNs, qui sont usuellement implémentés sous forme de bibliothèque. Je présenterai un langage intermédiaire, CRP, qui du fait de sa conformité au modèle polyhédrique, autorise une analyse statique -- en particulier la détection des interblocages -- au prix d'un pouvoir expressif réduit. Je présenterai l'état d'avancement du compilateur de CRP, Syntol, et les travaux en cours.

Short bio

Paul Feautrier est un ancien élève de l'Ecole Normale Supérieure et de la Faculté des Sciences de Paris, où il a reçu le grade de Docteur ès Sciences en 1968 sur une thèse d'Astrophysique Théorique. Il a été nommé Professeur à l'Université Pierre et Marie Curie en 1969. En 1992, il a été nommé à l'Université de Versailles Saint-Quentin, puis en 2002, à l'Ecole Normale Supèrieure de Lyon. Il est, depuis 2009, professeur émérite à l'ENSL. Ses centres d'intéret sont l'architecture des ordinateurs, les systémes d'exploitation, la parallélisation automatique et l'analyse et l'optimisation de programmes.