ProgReco

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
Keywords: Compilation, Program Equivalence, Machine Learning