Skip to content
- Funding: ANR
- PI: Charles Paperman (LINKS), Gabriel Radanne (CASH)
- URL: https://sxc.inria.fr/
- Dates: 2024 – 2028
- Keywords: Compilation, Optimisation, Automata, SIMD
- Funding: Inria Associate Team
- PI: Cyril Cohen (CASH), Reynald Affeldt (AIST, Japan)
- URL: https://team.inria.fr/formasys/
- Dates: 2025 – 2027
- Keywords: Formalization, Cyberphysical systems
- Funding: ANR PRCI
- Participants:
- Christophe Alias (coordinator, France)
- Ali Jannesari, associate professor at Iowa State University (coordinator, USA)
- Sid Touati, professeur à l’université Côte d’Azur
- Web: https://perso.ens-lyon.fr/christophe.alias/projects/mlopt/mlopt.html
- Dates: 2024-2027
- Keywords: Compilation, Translation Validation, Program Repair, Machine Learning
- Funding : Aurora collaboration project
- Participants :
- Software Engineering (SE) research group at the Dept. of Computing, Mathematics and Physics, Western Norway University of Applied Sciences (HVL) : Violet Ka I Pun, Einar Broch Johnsen,
- the Cash team: Ludovic Henrio
- Keywords : Asynchronous languages, semantics, confluence
- Dates: 2020 – 2022
- Funding : Inria “Associated Team”,
- Participants :
- Principal investigator (Inria): Laure Gonnord, CASH.
- Principal investigator (Partner institution): Sébastien Mosser, Département d’informatique, UQAM (Canada)
- Other participants:] Ludovic Henrio (CNRS, CASH, LIP), Matthieu Moy (University Claude Bernard Lyon 1, CASH, LIP), Jean Privat (UQAM, Canada)
- Keywords : static analysis, compilation, software engineering, software evolution, code transformation, semantics
- Dates: 2020 – 2022
- Funding : ANR,
- Participants :
- Laure Gonnord, PI, Habilitated Ass. Prof Lyon1/LIP (Lyon)
- Christophe Alias, Inria Researcher, LIP (Lyon)
- Carsten Fuhs, Lecturer, Birbeck (London)
- Lionel Morel, Ass. Prof Insa Lyon/CITI, on leave at CEA (Grenoble)
- Fabrice Rastello, Inria Research director, (Grenoble)
- Tomofumi Yuki, Inria Researcher, Irisa (Rennes)
- Web page: http://codas.ens-lyon.fr
- Dates: 2018-2022
