• Main page
• Publications
• Enseignement

Gwenaël Delaval

Assistant professor since 2010 in the Ctrl-A team in 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.

Opened positions

• Master 2 internships :
  • Clock calculus for synchronous dataflow programs distribution
  • Compilation and diagnosis for discrete controller synthesis
  • Abstraction methods for compilation using discrete controller synthesis

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

---

Divers

figanim : un script pour créer facilement des animations beamer avec Xfig.