Equipe de recherche PARKAS

Parallélisme de Kahn Synchrone

Présentation de l'équipe

L'équipe PARKAS étudie la conception et la mise en oeuvre de langages de haut niveau, permettant de passer d'une spécification parallèle déterministe à du code exécutable embarqué pouvant s'exécuter sur une architecture parallèle multi-coeur. L'équipe fonde sa recherche sur la théorie et la pratique des langages de programmation synchrones, les langages fonctionnels typés et les techniques de compilation modernes (modèle polyhédrique) pour obtenir du code prouvé correct et efficace. L'équipe développe des langages et des compilateurs (e.g., Lucid Synchrone, ReactiveML, contributions à GCC) pour expérimenter en vraie grandeur et communiquer les résultats de recherche. Les travaux sur Lucid Synchrone, par exemple, ont été à l'origine de SCADE 6 commercialisé depuis 2008 par Esterel-Technologies.

Axes de recherche

- Conception, sémantique et mise en oeuvre des langages synchrones. - Extensions du modèle synchronous pour prendre en compte de nouvelles applications: N-synchrone pour les systèmes de calcul vidéo intensif (e.g., TVHD); systèmes mixtes (continu/discret) pour prendre en compte l'environnement physique; création dynamique de processus synchrones. - Analyse par typage, analyse statique de programmes synchrones; - Génération de code d'efficacité et de correction garantie pour des processeurs séquentiels et parallèles (multi-coeurs)

Relations industrielles et internationales

Esterel-Technologies; Dassault-Systèmes.

Mots-clés : Langages synchrone; parallélisme déterministe; sémantique; typage; compilation; optimisation; verification

Equipes de recherche du même thème :

Siège et centres de recherche Inria

Accès direct

Social