Projects – CASH: Compilation and Analysis, Software and Hardware

Exa-SofT

Software and tools for High-Performance Computing

Machine learning-based program parallelization

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

Machine learning-based program detection

Funding: Action exploratoire Inria
Participants:
- Christophe Alias (coordinator)
- Sid Touati, professeur à l’université Côte d’Azur
Web: https://perso.ens-lyon.fr/christophe.alias/projects/progreco/progreco.html
Dates: 2024-2027

Inferring program transformations from execution traces

Funding: Action exploratoire Inria, completed.
Participants:
- Christophe Alias (coordinator)
- Keiji Kimura, professor at Waseda University (Japan)
Web: https://perso.ens-lyon.fr/christophe.alias/projects/polytrace/polytrace.html
Dates: 2020-2024

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