Members

Christophe Alias

Researcher at Inria.
Keywords: high-level synthesis, polyhedral model, compilation.
Home page: http://perso.ens-lyon.fr/christophe.alias/, List of publications

Laure Gonnord

Assistant professor at UCBL (Lyon 1).
Keywords: abstract interpretation, compilation.
Home page: http://laure.gonnord.org/pro/, List of publications

Ludovic Henrio

Researcher at CNRS.
Keywords: programming languages, actors, semantics, concurrency and distribution, objects, components, futures.
Home page: https://lhenrio.github.io/, List of publications

Matthieu Moy (team leader)

Assistant professor at UCBL (Lyon 1).
Keywords: hardware simulation, compilation, many-core, dataflow languages, formal verification.
Home page: https://matthieu-moy.fr, List of publications.

Ph.D Students

  • Julien Braine
  • Paul Iannetta