Accéder directement au contenu

Yann Salmon

Professeur d'informatique au lycée Chateaubriand de Rennes.
12
Documents

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

Image document

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
Image document

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
Image document

Global transpiration data from sap flow measurements: the SAPFLUXNET database

 Rafael Poyatos , Víctor Granda , Víctor Flo , Mark A Adams , Balázs Adorján
Earth System Science Data, 2021, 13, pp.2607 - 2649. ⟨10.5194/essd-13-2607-2021⟩
Article dans une revue hal-03261880v1
Image document

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

Drivers of apoplastic freezing in gymnosperm and angiosperm branches

 Anna Lintunen , Stefan Mayr , Yann Salmon , Hervé Cochard , Teemu Hölttä
Ecology and Evolution, 2017, 8 (1), 11 p. ⟨10.1002/ece3.3665⟩
Article dans une revue hal-01663297v1
Image document

Osmolality and non-structural carbohydrate composition in the secondary phloem of trees across a latitudinal gradient in Europe

 Anna Lintunen , Teemu Paljakka , Tuula Jyske , Mikko Peltoniemi , Frank Sterck
Frontiers in Plant Science, 2016, 7, 15 p. ⟨10.3389/fpls.2016.00726⟩
Article dans une revue hal-02635301v1
Image document

Effects of ontogeny on delta C-13 of plant- and soil-respired CO2 and on respiratory carbon fractionation in C-3 herbaceous species

 Yann Salmon , Nina Buchmann , Romain Barnard L.
PLoS ONE, 2016, 11 (3), ⟨10.1371/journal.pone.0151583⟩
Article dans une revue hal-02637635v1
Image document

Reachability Analysis of Innermost Rewriting

 Thomas Genet , Yann Salmon
Rewriting Techniques and Applications 2015, 2015, Warshaw, Poland
Communication dans un congrès hal-01194530v1
Image document

Balancing the risk of hydraulic failure and carbon starvation: a twig scale analysis in declining Scots pine

 Yann Salmon , Jose Manuel Torres Ruiz , Rafael Poyatos , Jordi Martinez-Vilalta , Patrick Meir
Xylem International Meeting, Sep 2015, Bordeaux, France. 86 p
Communication dans un congrès hal-02742313v1
Image document

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
Image document

Reachability Analysis of Innermost Rewriting

 Thomas Genet , Yann Salmon
[Research Report] 2013
Rapport hal-00848260v5
Image document

Tree Automata Completion for Static Analysis of Functional Programs

 Thomas Genet , Yann Salmon
2013
Rapport hal-00780124v2