Current Collaborations
- Academic partners
- Industrial partners
- Argosim: Coopération Argosim
- Kalray, Grenoble, France : KALRAY , KALRAY-CompCert
Past Collaborations
- Past Academic partners
- Past Industrial Partners
- CISC semiconductor : OpenES
- CONTINENTAL AUTOMOTIVE FRANCE SAS: W-SEPT
- DOCEA Power: HELP , OpenES
- ECSI: OpenES
- Kalray, Grenoble, France: the KVX CompCert Compiler
- Magillem Design Services, Paris, France: OpenES
- NXP Netherlands: OpenES
- Orange IT&L@bs: openTLM
- Safetronix: openTLM
- STMicroelectronics/Grenoble: HELP , OpenES , openTLM , STMicroelectronics , STMicroelectronics
- Synopsys Netherlands: OpenES
- THALES: OpenES
- Vector Fabrics: OpenES