[:fr]
Gwenaël Delaval
Maître de conférences depuis 2010 au LIG (Laboratoire d’Informatique de Grenoble).
Sujets de recherche
- Compilation de langages de programmation synchrone
- Méthodes de programmation et synthèse de contrôleurs
- Répartition de programmes synchrones
Logiciel
Heptagon/BZR est un langage flots de données synchrone, dont la syntaxe et la sémantique sont inspirées du langage Lustre. La syntaxe d’Heptagon autorise l’expression de structure de contrôles (par exemple, des automates de modes). Heptagon est un prototype de recherche, dont l’objectif est de faciliter les expérimentations sur ce type de langage. La version actuelle du langage et son compilateur inclut :
- l’utilisation de la synthèse de contrôleurs, intégrée dans la compilation ;
- l’expression et la compilation de tableaux, avec optimisation modulaire de la mémoire.
[:en]
Gwenaël Delaval
Assistant professor since 2010 in the LIG (Laboratoire d’Informatique de Grenoble).
Current research subjects
- Compilation of synchronous programming languages
- Programming methodologies using discrete controller synthesis
- Distribution of synchronous programs
Software
Heptagon/BZR is a synchronous dataflow language whose syntax and semantics is inspired from Lustre, with a syntax allowing the expression of control structures (e.g., switch or mode automata). Heptagon is a research compiler, whose aim is to facilitate experimentation. The current version of the compiler includes the following features:
- Inclusion of discrete controller synthesis within the compilation ;
- expression and compilation of array values with modular memory optimization.
[:]
