CAPESA

  • 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