Section: Partnerships and Cooperations

Regional Initiatives

Région Hauts-de-France

CIRRUS

Participants : Yahya Al-Dhuraibi, Stéphanie Challita, Guillaume Fieni, Alexandre Garnier, Christophe Gourdin, Philippe Merle [correspondant] , Romain Rouvoy, Lionel Seinturier, Faiez Zalila.

CIRRUS is an 3-year (2017–20) joint team with the Scalair cloud operator and architect company funded by the Hauts-de-France region. The CIRRUS joint team is developing novel solutions in the domains of the on demand configuration of heterogeneous cloud resources, the management of cloud elasticity for all deployed services (SaaS, PaaS, IaaS) in order to guarantee quality of service and user quality of experience, and the taming of financial costs of cloud infrastructures.

Alloy@Scale

Participants : Philippe Merle [correspondant] , Romain Rouvoy, Lionel Seinturier, Zakaria Ournani.

Alloy@Scale is a 12-month project funded in the context of CPER Data program. Alloy@Scale aims at overcoming the limits of the formal verification of large software systems specified with the Alloy formal specification language. For that, the program combines the Grid'5000 infrastructure and the Docker container technology.

Inria Lille - Nord Europe

ADT LibRepair

Participants : Benjamin Danglot, Martin Monperrus, Lionel Seinturier [correspondant] , Simon Urli.

ADT LibRepair (2016–18) is a technology development initiative supported by the Inria Lille - Nord Europe Center that aims at supporting the development of an integrated library of automated software repair algorithms and techniques. This ADT builds on our results about with the Astor, Nopol and NpeFix that have been obtained in the context of the defended PhD theses of Matias Martinez  [57] and Benoit Cornu  [46].

ADT FingerKit

Participants : Antoine Canda, Walter Rudametkin Ivey [correspondant] , Antoine Vastel.

ADT FingerKit (2018–20) is a technology development initiative supported by the Inria Lille - Nord Europe Center that focuses on the design and development of a new and enhanced version of the AmIUnique platform. AmIUnique is a data collection and analysis platform to better understand, analyze and vulgarize the uses and threats of browser fingerprinting. This initiative led by Inria is a key asset to better understand novel techniques that threatens the user privacy on Internet. This ADT builds on our first results with the ongoing PhD thesis of Antoine Vastel.

ADT e-Lens

Participants : Arthur d'Azémar, Guillaume Fieni, Romain Rouvoy [correspondant] .

ADT e-Lens (2018–20) is a technology development initiative supported by the Inria Lille - Nord Europe Center that aims at extending the PowerAPI energy monitoring library that we develop in the team since 2011. The extension deals with the integration of new power models (for GPU, disk, network interface), the implementation of a self-optimization algorithm, the port of the platform to embedded systems running with Raspberry Pi, ROS and Android, and the implementation of an active learning algorithm for power models. This ADT builds on our results with the defended PhD theses of Adel Nouredine  [59] and Maxime Colmant  [45], and with the ongoing PhD thesis of Guillaume Fieni.