Skip to Main content

Social networks

Number of documents

12

Yann Salmon


Professeur agrégé (mathématiques option informatique), nommé pour l'enseignement de l'informatique en CPGE au lycée Descartes de Tours.
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.


Theses1 document

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

Journal articles6 documents

  • Henrik Hartmann, Catarina F. Moura, William R. L. Anderegg, Nadine K. Ruehr, Yann Salmon, et al.. Research frontiers for improving our understanding of drought-induced tree and forest mortality. New Phytologist, Wiley, 2018, 218 (1), pp.15 - 28. ⟨10.1111/nph.15048⟩. ⟨hal-02626328⟩
  • Thomas Genet, Yann Salmon. Reachability Analysis of Innermost Rewriting - extended version. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2017, ⟨10.2168/LMCS-???⟩. ⟨hal-01532090⟩
  • Yann Salmon, Nina Buchmann, Romain Barnard L.. Effects of ontogeny on delta C-13 of plant- and soil-respired CO2 and on respiratory carbon fractionation in C-3 herbaceous species. PLoS ONE, Public Library of Science, 2016, 11 (3), ⟨10.1371/journal.pone.0151583⟩. ⟨hal-02637635⟩
  • Anna Lintunen, Teemu Paljakka, Tuula Jyske, Mikko Peltoniemi, Frank Sterck, et al.. Osmolality and non-structural carbohydrate composition in the secondary phloem of trees across a latitudinal gradient in Europe. Frontiers in Plant Science, Frontiers, 2016, 7, 15 p. ⟨10.3389/fpls.2016.00726⟩. ⟨hal-02635301⟩
  • Yann Salmon, Jose Manuel Torres Ruiz, Rafael Poyatos, Jordi Martinez Vilalta, Patrick Meir, et al.. Balancing the risks of hydraulic failure and carbon starvation: a twig scale analysis in declining Scots pine. Plant, Cell and Environment, Wiley, 2015, 38 (12), pp.2575-2588. ⟨10.1111/pce.12572⟩. ⟨hal-02635661⟩
  • Yann Salmon, Romain Barnard, Nina Buchmann. Physiological controls of the isotopic time lag between leaf assimilation and soil CO2 efflux. Functional Plant Biology, CSIRO Publishing, 2014, 41 (8), pp.850-859. ⟨10.1071/FP13212⟩. ⟨hal-02640009⟩

Conference papers3 documents

  • Thomas Genet, Yann Salmon. Reachability Analysis of Innermost Rewriting. Rewriting Techniques and Applications 2015, 2015, Warshaw, Poland. ⟨hal-01194530⟩
  • Yann Salmon, Jose Manuel Torres Ruiz, Rafael Poyatos, Jordi Martinez-Vilalta, Patrick Meir, et al.. Balancing the risk of hydraulic failure and carbon starvation: a twig scale analysis in declining Scots pine. Xylem International Meeting, Sep 2015, Bordeaux, France. 86 p. ⟨hal-02742313⟩
  • Thomas Genet, Yann Salmon. Proving Reachability Properties on Term Rewriting Systems with Strategies. Workshop on Strategies in Rewriting, Proving and Programming, 2012, London, United Kingdom. ⟨hal-01111038⟩

Reports2 documents

  • Thomas Genet, Yann Salmon. Reachability Analysis of Innermost Rewriting. [Research Report] 2013. ⟨hal-00848260v5⟩
  • Thomas Genet, Yann Salmon. Tree Automata Completion for Static Analysis of Functional Programs. 2013. ⟨hal-00780124v2⟩