Assistant professor since 2010 in the Ctrl-A team in LIG (Laboratoire d’Informatique de Grenoble).
Research subjects
- Compilation of synchronous programming languages
- Programming methodologies using discrete controller synthesis
- Distribution of synchronous programs
See my publications.
Teaching
- INF304 : bases de développement logiciel : modularité, tests (L2 INM/MIN)
- INF301 : Algorithmique et Programmation Impérative (L2 INM / MIN)
- SLPC : Sémantique des Langages de Programmation et Compilation (M1 Info)
- Projet compilation (M1 Info / Mosig)
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.
Contact
LIG — équipe Ctrl-A
Bâtiment Imag
700 avenue centrale
Domaine universitaire
38400 Saint Martin d’Hères
Tel: (+33|0)4 57 42 14 79
Mail: gwenael.delaval@inria.fr
