ProgReco

La compréhension de programmes est un problème fondamental de l'informatique, dont les applications sont nombreuses (rétro-ingénierie, refactoring, optimisation de code, etc) et l'automatisation encore lointaine. ProgReco se propose d'explorer le cas particulier de la reconnaissance de programmes, c'est à dire la capacité à déterminer automatiquement le calcul réalisé par un programme parmis une base de calculs types. Il s'agit d'une spécialisation de l'équivalence de programmes -- indécidable en général. Il s'agira de trouver le bon compromis entre la complexité et la puissance de reconnaissance en s'appuyant sur un modèle d'apprentissage supervisé. Dans un second volet, nous explorerons l'application de la reconnaissance de programmes à l'optimisation de code en substituant un programme reconnu par une version plus efficace d'une bibliothèque optimisée.