Cérémonie des Lauréats de prix d’excellence d’Université Côte d’Azur

Members of COATI participates to the 2019 edition of Cérémonie des Lauréats de prix d’excellence d’Université Côte d’Azur.

Emilio Cruciani recipient of a 2019 Testing and Verification research award

Emilio Cruciani and his co-authors (Breno Alexandro Ferreira de Miranda, Antonia Bertolino, and Roberto Verdecchia) won a 2019 Testing and Verification research award for their work on Static prediction of test flakiness.

Emilio Cruciani

Software companies invest a large amount of time in testing software. One of the problems they face during this process is that of “test flakiness”: some of the tests, instead of failing because of the presence of a bug in the software, have a nondeterministic behavior and could fail for external reasons (e.g., randomness in the software, concurrency, network latency, etc). When they are run multiple times on the same version of the software they could pass or fail and developer cannot rely on their outcome for the identification of bugs: When developers are asked to fix a potential bug found by a flaky test they could just lose their time since the bug is not there. The current approach to detect such flaky tests (and then treat them differently) is to rerun them: if they lead to different outcomes in different runs they are declared flaky. Of course this strategy is costly for large industries (e.g., Google runs millions of tests every day, out of which up to 16% are flaky).

Cruciani et al. proposed a fast, static approach to detect flaky tests based on machine learning techniques that proved to have high precision in our preliminary experimental results.

The full list of winning projects and some more details on the award can be found here.

See also here (in italian).

François Dross recipient of an accessit to the PhD prize Graphes “Charles Delorme” 2019

François Dross

François Dross, former postdoc at COATI, is recipient of an accessit to the PhD prize Graphes “Charles Delorme” 2019, for his PhD thesis entitled Vertex partition of sparse graphs and defended at Université de Montpellier (LIRMM) in 2018. Congratulations !

The prize will be announced during Journées Graphes et Algorithmes — Bruxelles, November 13-15, 2019.

PhD defense of Fionn Mc Inerney

PhD Fionn Mc Inerney

    • Title: “Domination and Identification Games in Graphs”
    • When: July 8, 2019 — 14:00
    • Where: Inria Sophia Antipolis, Euler violet
    • Committee:
      • Steve Alpern, Warwick Business School, The University of Warwick, Coventry West Midlands, UK
      • Victor Chepoi, Laboratoire d’Informatique et Systèmes, Aix-Marseille Université, Marseille, France
      • Paul Dorbec (Rapporteur), Université de Caen Normandie, Caen, France
      • Sylvain Gravier (Rapporteur), Université Grenoble Alpes, Institut Fourier, Grenoble, France
      • Nicolas Nisse (Directeur), Université Côte d’Azur, Inria, CNRS, I3S, Sophia Antipolis, France
      • Aline Parreau, Laboratoire LIRIS, Université Claude Bernard Lyon 1, Lyon, France
    • Abstract: In this thesis, 2-player games on graphs and their algorithmic and structural aspects are studied. First, we investigate two dynamic dominating set games: the eternal domination game and its generalization, the spy game. In these two games, a team of guards pursue a fast attacker or spy in a graph with the objective of staying close to him eternally and one wants to calculate the eternal domination number (guard number in the spy game) which is the minimum number of guards needed to do this. Secondly, the metric dimension of digraphs and a sequential version of the metric dimension of graphs are then studied. These two problems are those of finding a minimum subset of vertices that uniquely identify all the vertices of the graph by their distances from the vertices in the subset. In particular, in the latter, one can probe a certain number of vertices per turn which return their distances to a hidden target and the goal is to minimize the number of turns in order to ensure locating the target. These games and problems are studied in particular graph classes and their computational complexities are also studied.

      Precisely, the NP-hardness of the spy game and the guard numbers of paths and cycles are first presented. Then, results for the spy game on trees and grids are presented. Notably, we show an equivalence between the fractional variant and the “integral” version of the spy game in trees which allowed us to use Linear Programming to come up with what we believe to be the first exact algorithm using the fractional variant of a game to solve the “integral” version. Asymptotic bounds on the eternal domination number of strong grids are then presented. This is followed by results on the NP-completeness of the Localization game under different conditions (and a variant of it) and the game in trees. Notably, we show that the problem is NP-complete in trees, but despite this, we come up with a polynomial-time (+1)-approximation algorithm in trees. We consider such an approximation to be rare as we are not aware of any other such approximation in games on graphs. Lastly, results on the metric dimension of oriented graphs are presented. In particular, the orientations which maximize the metric dimension are investigated for graphs of bounded degree, tori, and grids.

    • Titre: “Jeux de Domination et d’Identification dans les Graphes”
    • Résumé: Dans cette thèse, les jeux à 2 joueurs dans les graphes et leurs aspects algorithmiques et structurels sont étudiés. Nous explorons tout d’abord le jeu de domination éternelle ainsi que sa généralisation, le jeu de l’espion, deux jeux qui reposent sur les ensembles dominants dynamiques. Dans ces deux jeux, une équipe de gardes poursuit un attaquant ou espion rapide dans un graphe, avec l’objectif de rester près de lui éternellement. Le but est de calculer le nombre de domination éternelle (nombre de gardes pour le jeu de l’espion) qui est le nombre minimum de gardes nécessaires pour réaliser l’objectif. La dimension métrique des digraphes et une version séquentielle de la dimension métrique des graphes sont aussi étudiées. Ces deux problèmes ont pour objectif de trouver un sous-ensemble de sommets de taille minimum tel que tous les sommets du graphe sont identifiés uniquement par leurs distances aux sommets du sous-ensemble. En particulier, dans ce dernier problème, on peut “interroger” un certain nombre de sommets par tour. Les sommets interrogés retournent leurs distances à une cible cachée. Le but est de minimiser le nombre de tours nécessaires pour localiser la cible. Ces jeux et problèmes sont étudiés pour des classes de graphe particulières et leurs complexités temporelles sont aussi étudiées.

      Précisément, il est démontré que le jeu de l’espion est NP-difficile et les nombres de gardes des chemins et des cycles sont présentés. Ensuite, des résultats sur le jeu de l’espion dans les arbres et les grilles sont présentés. Notamment, nous démontrons une équivalence entre la variante fractionnaire et la variante “intégrale” du jeu de l’espion dans les arbres qui nous a permise d’utiliser la programmation linéaire pour concevoir ce que nous pensons être le premier algorithme exact qui utilise la variante fractionnaire d’un jeu pour résoudre sa variante “intégrale”. Des bornes asymptotiques sur le nombre de domination éternelle de la grille du roi sont aussi présentées. Ensuite, des résultats sur la NP-complétude du jeu de Localisation sous différentes conditions (et une variante de ce jeu) sont présentés. Notamment, nous démontrons que le problème est NP-complet dans les arbres. Malgré cela, nous concevons un (+1)-algorithme d’approximation qui résout le problème en temps polynomial. Autant que nous sachions, il n’existe pas d’autres telles approximations pour les jeux dans les graphes. Finalement, des résultats sur la dimension métrique des graphes orientés sont présentés. En particulier, les orientations qui maximisent la dimension métrique sont explorées pour les graphes de degré borné, les tores et les grilles.

PhD defense of Andrea Tomassilli

PhD Andrea Tomassilli

    • Title: “Towards Next Generation Networks with SDN and NFV”
    • When: June 24, 2019 — 14:30
    • Where: Inria Sophia Antipolis, Euler violet
    • Committee:
      • Mathieu Bouet (Referee), Thales, Paris, France
      • Stefano Secci (Referee), Cedric – CNAM, Pairs, France
      • Stéphane Pérennes (Supervisor), COATI, Université Côte d’Azur, CNRS, I3S, Inria, Sophia Antipolis, France
      • Frédéric Giroire (Supervisor), COATI, Université Côte d’Azur, CNRS, I3S, Inria, Sophia Antipolis, France
      • Michele Flammini, Dipartimento di Ingegneria e Scienze dell’Informazione e Matematica, Università degli Studi dell’Aquila, L’Aquila, Italy
      • Thierry Turletti, Inria, Sophia Antipolis, France
      • Brigitte Jaumard, Concordia University, Montréal, Québec, Canada
    • Abstract: Recent advances in networks, such as Software Defined Networking (SDN) and Network Function Virtualization (NFV), are changing the way network operators deploy and manage Internet services.
      On one hand, SDN introduces a logically centralized controller with a global view of the network state.
      On the other hand, NFV enables the complete decoupling of network functions from proprietary appliances and runs them as software applications on general–purpose servers. In such a way, network operators can dynamically deploy Virtual Network Functions (VNFs).
      SDN and NFV benefit network operators by providing new opportunities for reducing costs, enhancing network flexibility and scalability, and shortening the time-to-market of new applications and services.
      Moreover, the centralized routing model of SDN jointly with the possibility of instantiating VNFs on–demand, may open the way for an even more efficient operation and resource management of networks. For instance, an SDN/NFV-enabled network may simplify the Service Function Chain (SFC) deployment and provisioning by making the process easier and cheaper.
      In this study, we aim at investigating how to leverage both SDN and NFV in order to exploit their potential benefits.
      We took steps to address the new opportunities offered in terms of network design, network resilience, and energy savings, and the new problems that arise in this new context, such as the optimal network function placement in the network.
      We show that a symbiosis between SDN and NFV can improve network performance and significantly reduce the network’s Capital Expenditure (CapEx) and Operational Expenditure (OpEx).

    • Titre: “Vers les Réseaux de Nouvelle Génération avec SDN et NFV”
    • Résumé: Les progrès récents dans le domaine des réseaux, tels que les réseaux logiciel (SDN) et la virtualisation des fonctions réseaux (NFV), modifient la façon dont les opérateurs de réseaux déploient et gèrent les services Internet.
      D’une part, SDN introduit un contrôleur logiquement centralisé avec une vue globale de l’état du réseau. D’autre part, NFV permet le découplage complet des fonctions réseaux des appareils propriétaires et les exécute en tant qu’applications logicielles sur des serveurs génériques. De cette façon, les opérateurs de réseaux peuvent déployer dynamiquement des fonctions réseaux virtuelles (VNF).
      SDN et NFV, tous deux séparément, offrent aux opérateurs de nouvelles opportunités pour réduire les coûts, améliorer la flexibilité et le passage à l’échelle des réseaux et réduire les délais de mise sur le marché des nouveaux services et applications. De plus, le modèle de routage centralisé du SDN, associé à la possibilité d’instancier les VNF à la demande, peut ouvrir la voie à une gestion encore plus efficace des ressources réseaux. Par exemple, un réseau SDN/NFV peut simplifier le déploiement des chaînes de fonctions de services (SFC) en rendant le processus plus facile et moins coûteux.
      Dans cette thèse, notre objectif était d’examiner comment tirer parti des avantages potentiels de combiner SDN et NVF. En particulier, nous avons étudié les nouvelles possibilités offertes en matière de conception de réseau, de résilience et d’économies d’énergie, ainsi que les nouveaux problèmes qui surgissent dans ce nouveau contexte, comme l’emplacement optimal des fonctions réseaux.
      Nous montrons qu’une symbiose entre le SDN et le NFV peut améliorer la performance des réseaux et réduire considérablement les dépenses d’investissement (CapEx) et les dépenses opérationnelles (OpEx) du réseau.

Best paper award

The paper Optimal placement of drones for fast sensor energy replenishment using wireless power transfer [1] won the best paper award at Wireless Days 2019

Congratulation to the authors!

See also: Wireless Days 2019, news on Inria web site

  • C. Caillouet, T. Razafindralambo, and D. Zorbas, “Optimal placement of drones for fast sensor energy replenishment using wireless power transfer,” in WD 2019 – Wireless Days 2019, Manchester, United Kingdom, 2019. doi:10.1109/WD.2019.8734203
    [BibTeX] [Download PDF]
    @inproceedings{caillouet:hal-02043123,
    TITLE = {{Optimal placement of drones for fast sensor energy replenishment using wireless power transfer}},
    AUTHOR = {Caillouet, Christelle and Razafindralambo, Tahiry and Zorbas, Dimitrios},
    URL = {https://hal.inria.fr/hal-02043123},
    NOTE = {Best Paper Award},
    BOOKTITLE = {{WD 2019 - Wireless Days 2019}},
    ADDRESS = {Manchester, United Kingdom},
    YEAR = {2019},
    MONTH = Apr,
    DOI = {10.1109/WD.2019.8734203},
    PDF = {https://hal.inria.fr/hal-02043123/file/cameraReady.pdf},
    HAL_ID = {hal-02043123},
    HAL_VERSION = {v1},
    }

New team member: Emanuele Natale

Emanuele Natale

Welcome to our new team member: Emanuele Natale.

Emanuele Natale got his B.Sc. in Mathematics in 2011 and M.Sc. in Computer Science in 2013, from University of Rome “Tor Vergata”, and his Ph.D. in Computer Science in 2017 from Sapienza University of Rome under the supervision of Andrea Clementi and Riccardo Silvestri.
During his Ph.D. he was a visiting student at IRIF (LIAFA) in Paris, hosted by Pierre Fraigniaud, and at the Simons Institute for the Theory of Computing of U.C. Berkeley, hosted by Luca Trevisan.
During his graduate studies he has been awarded the Best PhD Paper in CS at Sapienza 2015 (ex-equo), the Best Student Paper at the European Symposium of Algorithms (2016), the Outstanding PhD Student of Year 2015-2016 Award of the CS PhD School of Sapienza (ex-equo), and the Best PhD Thesis Award by the Italian Chapter of EATCS (2017).
After his Ph.D. he joined Kurt Mehlhorn’s Algorithms and Complexity Department at the Max Planck Institute for Informatics in Saarbrücken, and was again at the Simons Institute for the Theory of Computing in 2018 as a holder of Simons Fellowship.
In January 2019, he started his position as a permanent CNRS researcher joining the I3S laboratory, as a member of the COATI team jointly with INRIA.