Projects
Projets Nationaux
- ESTATE - ANR Project 2016-2020
Enhancing Safety and self-sTAbilization in Time-varying distributed Environments
Partenariat (CIFRE)
- KALRAY - CIFRE KALRAY, 2019-2022
Implementing and analyzing safety critical systems on a many-core architecture
- KALRAY-CompCert - CIFRE 2018-2021
An efficient CompCert certified compiler with a backend for the KVX core
Other Projects
- Coopération Argosim - 2013-...
The Argosim company, hosted in Verimag between 2013 and 2015, designed an industrial version of Lutin.
Browsing
