Sylvain Salvati

Renseignements personnels

Adresse postale Laboratoire Bordelais de Recherche en Informatique
Unité Mixte de Recherche CNRS (UMR 5800)
351, cours de la Libération
F-33405 Talence cedex
France
Téléphone +33 (0)5-4000-3523
Fax+33 (0)5-4000-6669
Courriel

Je suis actuellement Chargé de Recherche à l'INRIA Bordeaux Sud-Ouest et membre de l'équipe PoSET. Mon travail porte sur la vérification de programmes d'ordre supérieur et la conception de langages de programmation réactif d'ordre supérieur.


Évènements

Activités scientifiques et pédagogiques

Publications dans des revues internationales ou chapitres de livres
  1. Sylvain Salvati, MIX is a 2-MCFL and the word problem in ZxZ is solved by a third-order collapsible pushdown automaton submitted [.pdf]

  2. Sylvain Salvati, Minimalist Grammars in the light of logic Logic and Grammar - Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday (LNCS 6700) 81-117 2011 [.bib] [.pdf]

  3. Sylvain Salvati, On the membership problem for non-linear Abstract Categorial Grammars, Journal of Logic, Language and Information, 19(2), 163-183, 2010 [.bib] [.pdf]

  4. Christian Retoré, Sylvain Salvati A Faithful Representation of Non-Associative Lambek Grammars in Abstract Categorial Grammars Journal of Logic, Language and Information, 19(2), 185-200, 2010 [.bib] [.pdf]

Publications dans des conférences internationales avec comité de lecture
  1. Sylvain Salvati, Igor Walukiewicz, Krivine Machines and Higher-Order Schemes ICALP(2), pages 162-173, 2011 [.bib]

  2. Makoto Kanazawa, Jens Michaelis, Sylvain Salvati, Ryo Yoshinaka, Well-Nestedness Properly Subsumes Strict Derivational Minimalism LACL 2011, pages 112-128, 2011 [.bib]

  3. Pierre Bourreau, Sylvain Salvati, A Datalog Recognizer for Almost Affine λ-CFGs The Mathematics of Language 12, 21-38, 2011 [.bib]

  4. Pierre Bourreau, Sylvain Salvati, Game Semantics and Uniqueness of Type Inhabitance in the Simply-Typed λ-Calculus TLCA, 61-75, 2011 [.bib]

  5. Makoto Kanazawa, Sylvain Salvati, The Copying Power of Well-Nested Multiple Context-Free Grammars Proceedings of Language and Automata Theory and Applications, Fourth International Conference (LATA 2010), pages 344-355, 2010 [.bib]

  6. Sylvain Salvati, Recognizability in the Simply Typed Lambda-Calculus Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009 (article invité) [.pdf] [.bib]

  7. Gregory Kobele, Christian Retoré, Sylvain Salvati, An automata-theoretic approach to Minimalism Workshop on Model Theoretic Syntax (MTS@10), Dublin, Ireland 2007

  8. Makoto Kanazawa, Sylvain Salvati Generating control languages with Abstract Categorial Grammars Proceedings of the 12th conference on Formal Grammar (FG 2007), Dublin, Ireland 2007 [.bib]

  9. Sylvain Salvati On the complexity of Abstract Categorial Grammars, 10th conference on Mathematics of Language (MOL 10), Los Angeles, CA 2007 [.bib]

  10. Sylvain Salvati On the membership problem for Non-linear Abstract Categorial Grammars, Proceedings of the Workshop on New Directions in Type-theoretic Grammars (NDTTG 2007), Dublin, Ireland 43-50 2007 [.bib]

  11. Christian Retoré, Sylvain Salvati, Non-associative Categorial Grammars and Abstract Categorial Grammars, Proceedings of the Workshop on New Directions in Type-theoretic Grammars (NDTTG 2007), Dublin, Ireland 51-58 2007 [.bib]

  12. Sylvain Salvati, Parsing TAG with Abstract Categorial Grammar, TAG+8: Workshop On Tree Adjoining Grammar And Related Formalisms 2006 [.bib]

  13. Sylvain Salvati, Syntactic Descriptions: a Type System for Solving Matching Equations in the Linear λ-Calculus proceedings of the 17th International Conference on Rewriting Techniques and Applications 151-165 2006 [.bib]

  14. Sylvain Salvati, Encoding second order string ACG with Deterministic Tree Walking Transducers, Proc. of FG 2006: the 11th conference on Formal Grammars 143-156 2007 [.bib]

  15. Philippe de Groote, Sylvain Salvati, Higher-order Matching in the Linear λ-calculus with Pairing, Proc. of the 13th Conference, CSL 2004, LNCS 3210, pages 220-234, 2004.

  16. Philippe de Groote, Bruno Guillaume, Sylvain Salvati, Vertor Addition Tree Automata, Proc. of the 19th Symp. on Logic in Computer Sience, pages 64-73, 2004.

  17. Philippe de Groote, Sylvain Salvati, On the complexity of higher-order matching in the linear λ-calculus, Rewriting Techniques and Applications, 14th International Conference, RTA 2003, LNCS 2706, pages 234-245, 2003 (prix du meilleur article de la conférence).

Publications académiques
  1. Sylvain Salvati, Problèmes de filtrage et problèmes d'analyse pour les grammaires catégorielles abstraites, thèse de doctorat en informatique de l'Institut National Polytechnique de Lorraine, 2005, thèse encadrée par Philippe de Groote, soutenue le 13 juin 2005 [.pdf].

  2. Sylvain Salvati, Funtalk, formalisation et démonstration, mémoire de DEA en informatique, Institut National Polytechnique de Lorraine, 2001, DEA encadré par Luigi Liquori et co-encadré par Dominique Colnet.

En cours de réalisation
  1. Gregory Kobele, Makoto Kanazawa, Sylvain Salvati, Ryo Yoshinaka, No pumping Lemma for MCFL

  2. Sylvain Salvati, Free-word ordering and formal language theory

  3. Sylvain Salvati, Recognizable sets of simply-typed lambda-terms

  4. Arthur Ball, Sylvain Salvati, A prefix correct Datalog Recognizer for PMCFGs

  5. Pierre Bourreau, Sylvain Salvati, Extending datalog to transform datalog recognizers into parsers

  6. Makoto Kanazawa, Sylvain Salvati, On the Derivations of Lambek Grammars

Programme
  1. Analyseur, optimisateur Datalog. Ce petit programme écrit en Ocaml est pour le moment un prototype qui implémente les techniques proposées pour l'analyse et la génération par Makoto Kanazawa. Ce programme contient un solveur Datalog ainsi que diverses optimisation de programmes Datalog (Magic set rewritting, prefix validator,...) et permet de compiler des grammaires PMCFG vers des programmes Datalog optimisés. La résolution d'une intérogation Datalog de ces programmes correspond à l'analyse. A terme se programme sera intégré au logiciel dédié au grammaires catégorielles abstraites (téléchargement)

Etudiants
  1. 2011-... Jérôme Kirman en cours de co-encadrement avec Lionel Clément et Bruno Courcelle.
  2. 2010-2011, co-encadrant avec Lionel Clément du stage de master de Jérôme Kirman Contraintes sur les grammaires lexicales-fonctionnelles pour la génération automatique de texte.

  3. 2007-... Pierre Bourreau en cours co-encadrement avec Christian Retoré (Bourse Cordis). Le but de cette thèse est d'approfondir et d'exploiter les résultats de décidabilité pour les grammaires catégorielles abstraites non-lineaires et qui concernent la génération de texte à partir de représentations sémantiques.

  4. 2008-2009, co-encadrant avec Christian Retoré du mémoire de master de Arthur Ball, Analyse syntaxique et requêtes Datalog ENSIMAG et INRIA. Ce mémoire avait pour but d'étendre les travaux de (Kanazawa 2008) et de définir un algorithme vérifiant la correction de préfixes pour les grammaire PMCFG.

  5. 2007-2008, co-encadrant avec Christian Retoré du mémoire de master de Damien Schlachter Graphes de démonstration pour l’analyse syntaxique, Université Bordeaux 1. Ce mémoire cherchait à intégrer les techiques d'analyse effaces dédiées aux grammaires formelles aux grammaires de type logique par l’intermédiaire des graphes de démonstration.

Enseignements

Notes du cours sur les grammaires non-contextelles multiples donné à ESSLLI 2011 (Je remercie Makoto Kanazawa dont je me suis inspiré pour ces transparents): cours 1, cours 2, cours 3, cours 4, cours 5.

A l'université Bordeaux I j'ai participé aux travaux dirigés du cours de modèle de calcul de Marc Zeitoun au cours de l'année 2007-2008. Au cours de l'année 2009-2010, j'ai assuré le cours de Master de consacré aux bases de données avancées. Au cours de l'année 2010-2011, je suis intervenu dans les travaux dirigés du cours de licence 3 sur les structures de données de Frédéric Mazoit.

J'ai été ATER dans le département informatique de l'Ecole Nationale Supérieure des Mines de Nancy où j'ai participé à l'initiation à l'informatique en Java et où je suis intervenu au cours de la formation spécifique de troisième année en bioinformatique.

J'ai été moniteur à l'Université Henri Poincaré-Nancy 1 de 2001 à 2004. J'ai été amené à assurer des travaux dirigés de mathématiques discrètes en DEUG MIAS deuxième année ; des travaux dirigés et des travaux pratiques d'initiation à la programmation avec le langage OCAML en DEUG MIAS première année et en DEUG SM première année ; un cours de HTML et XML en DESS CCI.