PARKAS

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., Zelus, Vélus, 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.