Yann Salmon
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
Publications
|
|
Analyse d’atteignabilité pour les programmes fonctionnels avec stratégie d’évaluation en profondeurThéorie et langage formel [cs.FL]. Université de Rennes 1, 2015. Français. ⟨NNT : 2015REN1S085⟩ |
|
|
Analyse d'atteignabilité pour les programmes fonctionnels avec stratégie d'évaluation en profondeurPerformance et fiabilité [cs.PF]. Université Rennes 1, 2015. Français. ⟨NNT : 2015REN1S085⟩ |
|
|
Reachability Analysis of Innermost Rewriting - extended versionLogical Methods in Computer Science, 2017, ⟨10.2168/LMCS-???⟩ |
|
|
Reachability Analysis of Innermost RewritingRewriting Techniques and Applications 2015, 2015, Warshaw, Poland |
|
|
Proving Reachability Properties on Term Rewriting Systems with StrategiesWorkshop on Strategies in Rewriting, Proving and Programming, 2012, London, United Kingdom |
|
|
Tree Automata Completion for Static Analysis of Functional Programs2013 |
|
|
Reachability Analysis of Innermost Rewriting[Research Report] 2013 |