Yann Salmon Professeur d'informatique au lycée Chateaubriand de Rennes.

Présentation

Professeur agrégé (mathématiques option informatique), nommé pour l'enseignement de l'informatique en CPGE.

Mes travaux de recherche s'inscrivent dans le cadre général de la vérification formelle de programmes par analyse statique. Un des objectifs de l'équipe Celtique de l'IRISA/INRIA Rennes est de développer des méthodes et des outils de vérification.

J'utilise comme modèles formels des programmes les systèmes de réécriture de termes et les automates d'arbres. Ma thèse porte principalement sur l'adaptation de la complétion d'automate d'arbre à la stratégie d'évaluation en profondeur en vue de l'analyse de programmes fonctionnels, notamment ceux rédigés en OCaml.

Publications

Thèse (2)

Analyse d’atteignabilité pour les programmes fonctionnels avec stratégie d’évaluation en profondeur Yann Salmon Théorie et langage formel [cs.FL]. Université de Rennes 1, 2015. Français. ⟨NNT : 2015REN1S085⟩ Thèse tel-01250252v2
Analyse d'atteignabilité pour les programmes fonctionnels avec stratégie d'évaluation en profondeur Yann Salmon Performance et fiabilité [cs.PF]. Université Rennes 1, 2015. Français. ⟨NNT : 2015REN1S085⟩ Thèse tel-01293819v1

Article dans une revue (1)

Reachability Analysis of Innermost Rewriting - extended version Thomas Genet,Yann Salmon Logical Methods in Computer Science, 2017, ⟨10.2168/LMCS-???⟩ Article dans une revue hal-01532090v1

Communication dans un congrès (2)

Reachability Analysis of Innermost Rewriting Thomas Genet,Yann Salmon Rewriting Techniques and Applications 2015, 2015, Warshaw, Poland Communication dans un congrès hal-01194530v1
Proving Reachability Properties on Term Rewriting Systems with Strategies Thomas Genet,Yann Salmon Workshop on Strategies in Rewriting, Proving and Programming, 2012, London, United Kingdom Communication dans un congrès hal-01111038v1

Rapport (2)

Tree Automata Completion for Static Analysis of Functional Programs Thomas Genet,Yann Salmon 2013 Rapport hal-00780124v2
Reachability Analysis of Innermost Rewriting Thomas Genet,Yann Salmon [Research Report] 2013 Rapport (rapport de recherche) hal-00848260v5