Academic Homepage *

Vincent Hugot

vincent.hugot@inria.fr

Contents

1  General Information

I am currently an ATER at Lille 1 within the Inria team Links (formerly Mostrare), under the direction of Joachim Niehren. I have been in that team since 2013, as a post-doctoral fellow and research engineer.

My research agenda is driven by the development of automatic verification methods for the correctness of installation and removal scripts within package repositories, such as Debian, Mandriva, OPAM, etcetera. Such scripts are modeled as tree transducers acting on the file system, and properties such as “removal is the inverse operation to installation” are expressed and checked in terms of equivalence of transducers. Concretely, we need at first to develop suitable models of automata and transducers on the unordered, unranked data trees which abstract the file system.

1.1  Phone Number and Postal Address

Office phone number: +33(0)3.59.35.87.15.

Vincent Hugot
Inria - Bât B - Room B213
Parc Scientifique de la Haute Borne
Park Plazza - 40 avenue Halley
59650 Villeneuve d'Ascq 

1.2  Past Affiliations and Activities

I received my Ph.D. in Computer Science in 2013 from the University of Franche-Comté, working in the VESONTIO team of the DISC/LIFC department of the CNRS research institute FEMTO-ST (UMR 6174); I was also a member of the Inria/CASSIS team, and my Ph.D. was financed by the Inria and the Direction Générale de l’Armement (DGA).

Thesis title: Tree Automata, Approximations, and Constraints for VerificationTree (Not Quite) Regular Model-Checking. Supervised by: Prs. Kouchnarenko and Héam. The current version of the manuscript – final modulo є and a small summary in French, which I shall write shortly – can be downloaded from here.

My Curriculum Vitæ can be found here. It includes a list of talks and publications, which is quite probably less up-to-date than the one on this page.

2  Research Activities

My research interests revolve mainly around tree automata and their applications to the verification of systems. In particular, I have worked with TAGED (Tree Automata with Global Equality and Disequality constraints) and TWA (Tree Walking Automata). I am currently working on tree automata for unordered, unranked data trees.

2.1  Publications and Talks

This section is intended to keep track of my papers and given talks. PDF versions of the papers and the related slides are provided for download whenever possible.

To extract bibliographic entries for BibTEX and similar software, see also DBLP and SmartHal.

2.1.1  Current Drafts (Works in progress / submission / revisions)

  1. Top-Down Transducers for Data Trees
    co-authors: A. Boiret, J. Niehren
    Conference version in submission   —  
  2. Logics for Unordered Trees with Data Constraints
    co-authors: A. Boiret, J. Niehren, R. Treinen
    Journal version in progress   —  
  3. Positively Approximating LTL Properties over Rewrite Rules
    co-authors: P.C. Héam, O. Kouchnarenko
    Journal version in progress   —  

2.1.2  Latest Peer-Reviewed Papers (Accepted & Soon to be Published)

  1. Automata for Unordered Trees
    co-authors: A. Boiret, J. Niehren, R. Treinen
    Elsevier — International Journal Information & Computation   —  To appear
  2. The Emptiness Problem for Tree Automata with at Least One Disequality Constraint is NP-hard
    co-authors: P.C. Héam, O. Kouchnarenko
    Elsevier — International Journal Information Processing Letters.   —  to appear

2.1.3  Published (Peer-Reviewed) Papers

  1. Logics for Unordered Trees with Data Constraints on Siblings
    co-authors: A. Boiret, J. Niehren, R. Treinen
    Springer LNCS – International Conference LATA’15   —  March 2015
  2. Deterministic Automata for Unordered Trees
    co-authors: A. Boiret, J. Niehren, R. Treinen
    EPTCS – International Symposium GandALF’14   —  July 2014
  3. Loops and Overloops for Tree Walking Automata (Extended Version)
    co-authors: P.C. Héam, O. Kouchnarenko
    Elsevier – International Journal TCS   —  December 2011 – March 2012
    Additional webpage and slides.
  4. From Linear Temporal Logic Properties to Rewrite Propositions
    co-authors: P.C. Héam, O. Kouchnarenko
    Springer LNCS – International Conference IJCAR’12 (Long Paper)   —  Jan 2012
    Corresponding slides.
  5. On Positive TAGED with a Bounded Number of Constraints
    co-authors: P.C. Héam, O. Kouchnarenko
    Springer LNCS – International Conference CIAA’12 (Short Paper)   —  March 2012
    Corresponding slides.
  6. Loops and Overloops for Tree Walking Automata
    co-authors: P.C. Héam, O. Kouchnarenko
    Springer LNCS – International Conference CIAA’11 (Long Paper)   —  March 2011
    Additional webpage and slides.
  7. SAT Solvers for Queries over Tree Automata with Constraints
    co-authors: P.C. Héam, O. Kouchnarenko
    IEEE – International Workshop CSTVA’10   —  January – April 2010
    Corresponding slides.

2.1.4  Thesis, Research Reports, and Such

  1. Tree Automata, Approximations, and Constraints for Verification — Tree (Not Quite) Regular Model-Checking
    co-authors: supervisors: P.C. Héam, O. Kouchnarenko
    Ph.D. Thesis   —  Sept 27, 2013
    Corresponding slides.
  2. Random Generation of Positive TAGEDs wrt. the Emptiness Problem
    co-authors: P.C. Héam, O. Kouchnarenko
    INRIA Research Report   —  November 2010
    Corresponding slides.
  3. Algorithms for Tree Automata with Constraints
    co-authors: supervisors: P.C. Héam, O. Kouchnarenko
    M.Sc. Thesis   —  July 2010
    Corresponding slides.

2.2  Other Events and Talks

A list of talks I have given appears at the end of my Curriculum Vitæ.

3  Teaching Activities

This section keeps track of my teaching activities.

Matière NiveauAnnée
Encadrement StageL32015–2016
Business IntelligenceM12015–2016
Codage de l’InformationL22015–2016
Techniques du WebL12015–2016
InformatiqueL1, S12015–2016
Algorithmes et Programmation        L1, S22015–2016
Programmation fonctionnelleL32012–2013
Analyse SyntaxiqueL32012–2013
Logique & DéductionsL22010–2011
Encadrement ProjetL32010–2011
Maths: Tutorat UniversitaireL12006-2007
Maths: Tutorat en LycéeTerm. STI2006-2007

4  Miscellaneous Odds and Ends

I have written a number of small programs in my spare time. Here are links to some of those which may be of interest to someone else in an academic context. All links point to topics dedicated to those programs on my personal forum, or to the program’s documentation if it is hosted elsewhere.

Other items of potential interest — that are not programs written by me.


*
This page was last updated on July 16, 2016.

This document was translated from LATEX by HEVEA.