Monitoring software in the wild.

Software systems are now widely distributed by design, being natively deployed in the very-large scale across several countries and continents. This infrastructure scale and geographical coverage call for the development of novel software monitoring techniques and algorithms that can follow key performance indictors (KPI) and report on critical situations where optimizations would be required. Given this context, collecting and processing such data flows to build a holistic view of the distributed system is a key challenge to deliver timely and targeted adaptations. Beyond the middleware challenge of distributed monitoring in the wild, we can also observe the rise of novel KPI aiming to balance performance and environmental metrics to better control the consumption of limited resources for the purpose of a given business. This evolution demonstrates that software developers and operators miss more global indicators of the impact of their software on their environment at large to take more optimal decisions.

Collaborative decision-making approaches.

To support the above decisions, we believe that very-large-scale distributed systems require to adopt decentralized and collaborative decision-making strategies to implement from local and quick reactions to more global and long-term planning. With this objective in mind, the combination of multiple decision-making techniques, such as control theory, reinforcement learning, constraint solvers, or rule-based approaches, will offer more flexibility to deal with domain-specific adaptations to be performed. Furthermore, our experience on software product lines (SPL) will also bring interesting venues to structure and control the control plane of such distributed systems, hence offering some layer of reflexivity for self-adaptive software systems.

Web and mobile applications.

We work on two topics: improving privacy on the web, and protecting users from software vulnerabilities. On the first topic on privacy, we will work on identifying harmful content related to privacy leakage, and on generating automatic shims to replace this harmful content with benign one. The ultimate goal is to have a browser, or an operating system, that does not send identifying information online, can decide which elements in a page are harmful to block, and can repair/augment webpages to assure their proper functioning. The second topic is on debloating which is related to the fact that modern web and mobile applications rely on an impressive list of dependent libraries. While using external libraries eases the development, this is known to be a major source of problems as a package can present a vulnerability or be downright malicious, affecting the integrity of the whole program. The goal here is to design methods and develop tools to have programs that can still benefit from the wealth of existing dependencies that exist in ecosystems, like NPM or Gradle, without the security problems that come with it.

Browsers and hardware.

We investigate hardware and software fingerprinting and their associated defenses. While so far we mostly look at fingerprinting the browser, it remains to be seen how much can be fingerprinted on both the software and hardware side. With the arrivals of new APIs like WebGPU, WebUSB or WebXR that rely much more on the hardware, there is a need to understand the privacy problems that can be caused by these APIs to protect users online. The goal is also to infer hardware characteristics through auxiliary time-related channels and micro-benchmarks instead of relying on attributes sent by the browser.

Hardware and micro-architectural components.

We work on analyzing attack surface and on improving the reproducibility of micro-architectural attacks. For that, given the lack of documentation of hardware components by the manufacturers, we will work on the reverse-engineering of micro-architectural components. Recent work by Vila et al. 85 shows that it is possible to use automata learning and program synthesis techniques to reverse engineer cache replacement policies from measurements made with performance counters. This approach could be extended to model hardware prefetchers, and perhaps to refine the models proposed on branch prediction units. Concerning reproducibility, it is not uncommon for code that works on one machine to give other results on another machine – and identifying the root cause can be quite complex. We propose the use of the gem5 simulator to overcome some of these problems, and in particular improving visualization techniques, creating a reference benchmark of attacks available to the community, and study countermeasures.

Structure.

Software systems are commonly assembled from numerous components, each narrowly focused on its provided functionality. Among others, this allows structural variability—often offering a myriad of configuration options—which is crucial for these systems and must be handled from design- to run-time. Two fundamental aspects to be addressed here are the specification, analysis and implementation (1) of the interaction among the components and (2) of the (re-)configuration of component assemblies. W.r.t. configuration specifications, we particularly focus on approaches where these features are described in a so-called feature model 70. We will continue exploring theoretical and implementation aspects of the underlying interaction and reconfiguration mechanisms to provide developers with appropriate modelling abstractions. Since it is not always possible to entirely explore the whole configuration space relating each configuration to the proper non-functional and functional requirements, we will apply machine learning techniques to predict the properties of configurations, identify influential options, ensure non-regression and select the “best” configuration. Furthermore, since the configuration space of the system is likely to evolve over time and due to external factors, the model will have to be learned again anyway to stay consistent with the system and its functional and performance properties. The learning process can therefore be considered itself as a configurable system, which can thus be fine-tuned with respect to what can be learned, how it can be learned and when it can be learned. We will thus investigate solutions for the self-adaptative learning of configuration spaces.

Behaviour.

The ability to provide satisfaction guarantees of behavioural properties, such as deadlock-freedom, safety, some aspects of security and privacy, is rapidly becoming crucial for modern software systems due to increasing societal awareness, as attested by the growing use of formal methods by software giants such as Amazon 78 and Facebook 58 and to legislative evolution, e.g., GDPR. This requires precise and formal behavioural models allowing reasoning for proof and analysis of such properties. In particular, the Rigorous System Design (RSD) approach 82 strives for correctness by construction through enforcing multiple levels of separation of concerns. We plan to work on (1) transforming high-level models commonly defined by a “user”, such as feature models mentioned above (in relation with the structural modelling) or requirements into (Java)BIP 54, 56 behavioural models, (2) learning behavioural models of existing software by static (source code) or dynamic (execution traces) analysis, (3) maintaining coherency between models and code in presence of evolutions and adaptations, and (4) formalisation of domain-specific knowledge to generate efficient distributed code while respecting the behavioural semantics of the system and taking into account its structural constraints.

Data.

The self-adaptation mechanisms that are studied in the team are always triggered by data: either data gathered online in distributed systems, or data mined offline from repositories of metadata associated with software systems. In this context, being able to reason, query, and manage data and metadata associated with software systems is a central, yet complex and difficult task that raises many challenges. In relation with our expertise in database theory, we want to focus on two main challenges: (1) how data management and knowledge representation techniques can be used for improving the self-adaptation of software systems, and (2) how to take into account the data management concern along the development of self-adaptive software systems.

7.1.1 amiunique

• Name:
  amiunique
• Keywords:
  Privacy, Browser fingerprinting
• Scientific Description:

  The amiunique web site has been deployed in 2014 in the context of the DiverSE team research activities on browser fingerprinting to understand how software diversity can be leveraged to mitigate the impact of fingerprinting on the privacy of users. In 2018, it was migrated to the Spirals team where the research on browser fingerprinting still continues to this day. In 2024, a novel mobile app was deployed to investigate the fingerprintability of mobile devices.

  The web site has yielded multiple datasets of genuine fingerprints to understand the multiple facets of browser fingerprinting and how they can be used on the web to reinforce security. The web site presents regular updates to include the latest development in web technology and understand their impact of users' privacy.

  The whole source code of amiunique is open source and is distributed under the terms of the MIT license.

  Main innovative features:

  • canvas fingerprinting
  • WebGL fingerprinting
  • advanced JS features (platform, DNT, etc.)

  Impact: The website has been visited by more than 3,000,000 unique visitors since its creation and it has been showcased in several professional forums and tutorial sessions over the years. It produced multiple datasets over the years that were used in articles published in top-tier conferences. Amiunique has received in 2018 the prize “Protection de la vie privée” granted by Inria and the CNIL. The research around fingerprints in amiunique has also been a source of influence for the Brave web browser.

• Functional Description:
  This web site aims at informing visitors about browser fingerprinting and possible tools to mitigate its effect, as well as at collecting data about the fingerprints that can be found on the web. It collects browser fingerprints with the explicit agreement of the users (they have to click on a button on the home page). Fingerprints are composed of 17 attributes, which include regular HTTP headers as well as the most recent state of the art techniques (canvas fingerprinting, WebGL information).
• URL:
  https://­amiunique.­org/
• Contact:
  Pierre Laperdrix
• Partners:
  INSA Rennes, Université de Lille

7.1.2 APISENSE

• Keywords:
  Mobile sensing, Crowd-sensing, Mobile application, Crowd-sourcing, Android
• Functional Description:
  APISENSE platform is a software solution to collect various contextual information from Android devices (client application) and automatically upload collected data to a server (deployed as a SaaS). APISENSE is based on a Cloud computing infrastructure to facilitate datasets collection from significant populations of mobile users for research purposes.
• URL:
  https://­github.­com/­APISENSE
• Contact:
  Romain Rouvoy
• Partner:
  Université de Lille

7.1.3 cloudnet

• Name:
  Cloudnet
• Keywords:
  Cloud configuration, Tosca, Docker Compose, Heat Orchestration Template, Alloy
• Scientific Description:

  The multiplication of models, languages, APIs and tools for cloud and network configuration management raises heterogeneity issues that can be tackled by introducing a reference model. A reference model provides a common basis for interpretation for various models and languages, and for bridging different APIs and tools. The Cloudnet Computational Model formally specifies, in the Alloy specification language, a reference model for cloud configuration management. The Cloudnet software formally interprets several configuration languages in it, including the TOSCA configuration language, the OpenStack Heat Orchestration Template and the Docker Compose configuration language.

  The use of the software shoes, for examples, how the Alloy formalization allowed us to discover several classes of errors in the OpenStack HOT specification.

• Functional Description:

  Application of the Cloudnet model developed by Inria to software network deployment and reconfiguration description languages.

  The Cloudnet model allows syntax and type checking for cloud configuration templates as well as their visualization (network diagram, UML deployment diagram). Four languages are addressed for the moment: The OASIS's TOSCA specification, the ETSI's NFV SOL001 specification, OpenStack's HOT (Heat Orchestration Template), and Docker Compose.

  We can use directly the software from an Orange web portal: https://toscatoolbox.orange.com

• URL:
  https://­github.­com/­Orange-OpenSource/­Cloudnet-TOSCA-toolbox
• Publication:
  hal-02940938v1
• Contact:
  Philippe Merle
• Participants:
  Philippe Merle, Jean-Bernard Stefani, Roger Pissard-Gibollet, Souha Ben Rayana, Karine Guillouard, Meryem Ouzzif, Frédéric Klamm, Jean-Luc Coulin
• Partner:
  Orange Labs

7.1.4 PowerAPI

• Keywords:
  Energy efficiency, Energy management
• Functional Description:

  PowerAPI is a library for monitoring the energy consumption of software systems.

  PowerAPI differs from existing energy process-level monitoring tools in its software orientation, with a fully customizable and modular solution that lets the user precisely define what he/she wants to monitor. PowerAPI is based on a modular and asynchronous event-driven architecture using the Akka library. PowerAPI offers an API which can be used to define requests about energy spent by a process, following its hardware resource utilization (in term of CPU, memory, disk, network, etc.).

• URL:
  https://­powerapi.­org/
• Publications:
  hal-01069142v1, hal-00912996v2, hal-00772454v1, hal-00912613v1, hal-00681560v3, hal-00715331v1, hal-01827132v2, hal-01439889v1, hal-01403486v1, hal-01130030v1, hal-03173410v1, hal-02470128v1, hal-02904300v1
• Contact:
  Romain Rouvoy
• Participants:
  Adel Noureddine, Loic Huertas, Maxime Colmant, Romain Rouvoy, Mohammed Chakib Belgaid, Arthur D'azemar, Guillaume Fieni, Daniel Romero Acero

10.1.1 Visits of international scientists

In the framework of the SmartCloud ANR project, Giuseppe De Palma, a PhD student from the University of Bologna working on cloud and serverless computing, visited us for 6 months from January to June 2024.

10.2.1 Other european programs/initiatives

10.3.1 ANR

10.3.2 PEPR and PTCC

11.1.1 Scientific events: organisation

11.1.2 Scientific events: selection

11.1.3 Journal

11.1.4 Invited talks

Sophie Cerf gave the following invited talk.

• A talk on "Automatique et IA : des opportunités pour maîtriser l'utilisation des ressources" in the Workshop frugalité en IA et en statistique on Oct. 4.

Pierre Laperdrix gave the following invited talks.

• A keynote on the topic of web evolution at the MADWeb workshop on March 1st.
• A talk with Vincent Rocca on "Web, smartphone, AdTech: the privacy viewpoint" in the 2024 Winter School of the PEPR Cybersecurity on 29 January 18.

Clémentine Maurice gave the following invited talks.

• A masterclass on microarchitectural attacks at the Forum InCyber (FIC), on March 26,
• "A Systematic Evaluation of Automated Tools for Side-Channel Vulnerabilities Detection in Cryptographic Libraries" at the SWHSec Conference, on June 6,
• "Side-channel-free software, are we there yet?" at the Max Planck Institute for Security and Privacy Symposium on System Security on June 17,
• "Side-channel-free software, are we there yet?" at the Journées Scientifiques Inria on August 29.

Clément Quinton gave the following invited talks.

• "Generation of Software Variants" in the Défi Inria LLM4Code conference on July 5,
• "Optimizing Configurable Software Systems" in the Scientific day on optimization at CNRS on October 4.

Juliette Sénéchal gave the following invited talks.

• "AI Alignement through IA Act" in Paris Conference on Artificial Intelligence and Digital Ethics, Sciences Po Paris, 7 June,
• "DSA and AI Act" in MDD summer school, Ceillac, 24 June,
• "DSA and AI Act" in CAp-RFIAP Conference, 1 July,
• "L'AI Act dans son rapport aux valeurs humaines et aux droits fondamentaux, un enchevêtrement progrmatique d'approches normatives modernes, post-moderne et non moderne" in Séminaire "Sociologie du numérique : d'internet à l'intelligence artificielle" at EHESS,
• "Le contrat conclu avec un service d'intermédiation en ligne (plateforme)" in "Comparaison du droit français et du droit roumain des contrats spéciaux", Université de Bucarest & Université Paris I Panthéon Sorbonne (co-org.), 19 September,
• "Vers l'émergence d'un droit neuro-éthique érigé en contrepoint des droits revisités par le numérique ? Réflexion à partir du droit de la consommation" in Troisième journée scientifique de l'Arcom en partenariat avec l'ENS Paris Saclay, 14 November,
• "Pratiques d'IA influençant et manipulant les consommateurs : quelles réglementations ?" in "Encadrement éthique et juridique de l'IA : bilan 2 ans après ChatGPT", Digital Dauphine Days, 19 November.

11.1.5 Leadership within the scientific community

Simon Bliudze

• Co-head of the YODA (trustworthY and Optimal Dynamic Adaptation) working group of the GDR GPL
• Member of the Formal Methods Europe (FMEurope) Book Review Committee (the aim of the committee is to provide the formal methods community, and the scientific community in general, with high-quality reviews of books on topics of interest to the community)

Sophie Cerf

• Elected member of the "bureau" of the French chapter of the ACM Special Interest Group in Operating Systems (SIGOPS / ASF)

Laurence Duchien

• President of the scientific council of IRT SystemX

Clémentine Maurice

• Member of the "Software and source codes college" of the Committee for Open Science of the Higher Education Ministry
• Member of the SSLR ("Sécurité des systèmes, des logiciels et des réseaux") working group of the GDR SI

Romain Rouvoy

• Elected member of CoNRS section 6 (since September 2021)
• President of the French chapter of the ACM Special Interest Group in Operating Systems (SIGOPS / ASF)
• Elected member of the administrative council of Specif Campus
• Co-head of the "Logiciel Eco-Responsable" working group of the GDR GPL

Pierre Laperdrix

• Assistant director of the GDR Sécurité Informatique (since September 2024)

11.1.6 Scientific expertise

Pierre Bourhis

• Member of the jury of agrégation of informatique

Sophie Cerf

• Member of the recruitment committee for two associate professor position, at Université de Lille and Université Grenoble Alpes
• Member of the Inria national committee for "détachement"

Laurence Duchien

• Member of the scientific advisory board of Labex CIMI-Toulouse
• Member of the scientific advisory board of IMT Atlantique
• President of the recruitment committee for a professor position at ENS Lyon

Clément Quinton

• Vice-President of the recruitment committee for an associate professor position at Université de Lille

Romain Rouvoy

• Member of the jury of agrégation of informatique

Lionel Seinturier

• President of the recruitment committee for a professor position at Université Grenoble Alpes

11.1.7 Research administration

Simon Bliudze

• Elected member of the Centre Committee of the Centre Inria de l'Université de Lille
• Member of the Gender Parity committee of the CRIStAL laboratory
• Co-organiser of the joint Inria/CRIStAL Mentoring programme

Pierre Bourhis

• Referent of Communication of the CRIStAL laboratory
• Animator of the communication committee of the CRIStAL laboratory
• Member of the Gender Parity committee of the CRIStAL laboratory

Sophie Cerf

• Member of the Gender Parity committee of the CRIStAL laboratory
• Mediation scientific co-referent for Inria Center of the University of Lille

Laurence Duchien

• Dean of the Faculty of science and technology at the University of Lille

Maxime Huyghe

• Elected member of the Council of the doctoral school MADIS

Clémentine Maurice

• Member of the Gender Parity committee of the CRIStAL laboratory

Philippe Merle

• Elected member of the Inria scientific board (CS)
• Elected member of the Inria evaluation committee (CE) (since July)
• Elected member of the Inria social administration committee (CSA)
• Member of the Inria national committee on "hygiène, de sécurité et des conditions de travail" (FS CSA)
• Member of the "Comité Local d’Hygiène, de Sécurité et de Conditions de Travail" (FSS)
• Elected member of the centre committee for the Inria Center of University of Lille

Lionel Seinturier

• ICT Panel Scientific Conselor for the Research Evaluation Department of Hcéres (since September)
• Member of the Scientific council of the University of Lille

11.2.1 Teaching

Simon Bliudze is, in addition to his tenure Junior Researcher position at Inria, part-time Assistant Professor (part-time Associate Professor since September 2024) at École Polytechnique, Palaiseau, France, in the Department of Computer Sciences (DIX).

• CSC_2F002_EP: Design and Analysis of Algorithms, 28h, Bachelor cycle
• INF361: Introduction to Computer Science, 40h, Cycle Polytechnique

Pierre Bourhis is, in addition to his tenure Junior Researcher position at CNRS, part-time Associate Professor of Data Science at École Polytechnique, Palaiseau, France, in the Department of Computer Sciences (DIX).

• Info553: Bases de données, 18h, Cycle Polytechnique
• Modal Graphe Géant, 36h
• INF517: Projet de Recherche Data Science, 20h
• INF583: System for Big Data, 20h

Sophie Cerf teaches at Centrale Lille Institute.

• Modélisation et commande de systèmes (state feedback, observation, discrecte control), 12h, Level M1-2, École Centrale Lille
• Commande des Systèmes (basics of linear feedback control), 16h, Level L2 and L3, ITEEM
• Projet d'intégration en Robotique (robot building and control), 24h, Level M1, ITEEM

Laurence Duchien teaches at the Université de Lille in the FST faculty.

• Software engineering project, 64h, Level M2, Master MIAGE FI/FC/FA

Adrien Luxey-Bitri teaches at the Université de Lille in the FST faculty.

• Informatics, 36h, Level L1, Licence of Computer Science
• Computer networks, 20h, Level L3, Licence of Computer Science
• Software Engineering, 18h, Level L3, Licence of Computer Science
• Distributed systems, 48h, Level M1, Master of Computer Science
• Advanced distributed systems, 24h, Level M2, Master of Computer Science
• Suivi de stages, projets et mémoires, 30h, Licence and Master of Computer Science
• Enjeux Environnementaux du Numérique (Introduction à l'Analyse du Cycle de Vie), 4h, Level M2, Master of Computer Science, with S. Cerf

Philippe Merle teaches at the Université de Lille in the FST faculty.

• Software Configuration, 12h, Level M2, Master of Computer Science

Clément Quinton teaches at the Université de Lille in the FST faculty.

• Object-oriented programming, 36h, Level L2, Licence of Computer Science
• Software project, 36h, Level L2, Licence of Computer Science
• Object-oriented design, 31h, Level L3, Licence of Computer Science
• Distributed systems, 24h, Level M1, Master of Computer Science
• Software product lines, 24h, Level M2, Master of Computer Science
• Suivi de stages et de projets, 30h, Licence and Master of Computer Science

Romain Rouvoy teaches at the Université de Lille in the FST faculty.

• Design of distributed applications, 12h, Level M1, Master of Computer Science
• Object-oriented design, 4h, Level L3, Licence of Computer Science
• Suivi de projets, 20h, Level M2, Master of Computer Science

Lionel Seinturier teaches at the Université de Lille in the FST faculty.

• Conception d'applications réparties, 48h, Level M1, Master MIAGE
• Systèmes répartis avancés 1, 24h, Level M2, Master of Computer Science

11.2.2 Supervision

• HDR defended: Clément Quinton, Evolving, Adapting and Optimizing Configurable Software Systems, defended on 26 January 2024, University of Lille, 47.
• HDR defended: Simon Bliudze, Contributions to the Rigorous Design of Concurrent Component-Based Software and Systems Using BIP, defended on 8 March 2024, University of Lille, 41.
• HDR defended: Pierre Bourhis, Dialog between Logic, Trees, and Circuits, defended on 18 September 2024, University of Lille, 42.
• PhD defended: Naif Mehanna, Intrinsically Inseparable: Investigating Novel Tracking Practices and Assessing the Carbon Footprint of Ads, defended on 30 May 2024, University of Lille, 46.
• PhD defended: Salman Farhat, Safe Dynamic Reconfiguration of Applications with Features, defended on 11 July 2024, University of Lille, 43.
• PhD defended: Pierre Jacquet, Enhancing IaaS Consolidation with Resource Oversubscription, defended on 19 July 2024, University of Lille, 45.
• PhD defended: Pierre Ayoub, Compromising Electromagnetic Emanations: Side-Channel Leakages in Embedded Devices, defended on 3 December 2024, Eurecom.
• PhD defended: Jean Luc Intumwayase, Exploring the Impact of the User's Browsing Environment on Web Privacy, defended on 5 December 2024, University of Lille, 44.
• PhD defended: Thibault Simon, Sustainable Software Design: Estimation and Reduction of the Environmental Footprint of Software Systems, defended on 6 December 2024, University of Lille, 49.
• PhD defended: Maryam Rahmani, Next-Generation Air Pollution Forecasting: Integrating AI, Spatiotemporal Dynamics, and Privacy-Ensuring Approaches for Urban Areas, defended on 11 December 2024, University of Lille, 48.
• PhD in progress: Virginie Amand, Designing Sustainable Software Services with Large Language Models, since October 2024, University of Lille, supervised by Romain Rouvoy & Clément Quinton.
• PhD in progress: Alexandre Bonvoisin, Reducing the Energy Consumption of Software Stacks, since October 2022, University of Lille, supervised by Romain Rouvoy & Clément Quinton.
• PhD in progress: Sihem Bouenniche, Security Analysis of Current and Future Web Standards, since January 2024, University of Lille, supervised by Clémentine Maurice & Walter Rudametkin.
• PhD in progress: Tristan Coignion, Environmental Impact of Development Assistants, since October 2022, University of Lille, supervised by Romain Rouvoy & Clément Quinton.
• PhD in progress: Thomas Collignon, Control of high performance computing tasks emissions, since November 2023, University of Lille, supervised by Sophie Cerf & Lionel Seinturier.
• PhD in progress: Belkis Dejffal, Optimization of Databases in Cloud Environments in a Context of Green Computing, since December 2023, University of Lille, supervised by Romain Rouvoy & Pierre Bourhis.
• PhD in progress: Boubacar Diarra, Formal modeling and reliability of cloud network configurations, since January 2023, University of Lille, supervised by Philippe Merle.
• PhD in progress: Nusrat Jahan Farin, since November 2024, University of Lille, supervised by Clémentine Maurice.
• PhD in progress: Iliana Fayolle, Side channel vulnerabilities in web environments, since 1 October 2023, University of Lille, supervised by Clémentine Maurice.
• PhD in progress: Antoine Geimer, Détection et correction automatique de vulnérabilités par canaux auxiliaires dans les librairies cryptographiques, since October 2022, University of Rennes, supervised by Clémentine Maurice & Sandrine Blazy (Inria Epicure project-team).
• PhD in progress: Maxime Huyghe, Automated Software Testing to Improve the Privacy of Browsers, since October 2022, University of Lille, supervised by Lionel Seinturier & Clément Quinton & Walter Rudametkin (Inria Diverse project-team).
• PhD in progress: Hugo Monfleur, Design and implementation of a micro-services oriented language, since 1 October 2022, University of Lille, supervised by Philippe Merle.
• PhD in progess: Rémy Raes, Distributed machine learnin in ubiquitous environments using location dependant models, since 1 March 2023, University of Lille, supervised by Romain Rouvoy & Adrien Luxey-Bitri.
• PhD in progress: Brell Sanwouo, Artificial Intelligence applied to Self-Adaptive Systems, since March 2024, University of Lille, supervised by Clément Quinton & Paul Temple (Inria Diverse project-team).
• PhD in progress: Yifan Wang, Autonomous Management of Database Systems, since October 2022, University of Lille, supervised by Romain Rouvoy & Pierre Bourhis.
• PhD in progress: Jiali Xu, Behavior caracterisation in smart and deep systems with heterogeneous and reprogrammable nodes, University of Lille, supervised by Romain Rouvoy & Valéria Loscri (Inria Fun project-team).
• PhD in progress: Nada Zine, since November 2024, University of Lille, supervised by Romain Rouvoy & Clément Quinton.

11.2.3 Juries

Simon Bliudze

• PhD Paulina Paraponiari (Aristotle University of Thessaloniki, Greece), examiner
• PhD Perla Tannoury (Univ. Franche-Comté), reviewer

Clémentine Maurice

• PhD Vincent Giraud (ENS Paris), reviewer
• PhD Marco Casagrande (EURECOM), reviewer

Romain Rouvoy

• Yassine El Amraoui (Univ. Côte d'Azur), examiner
• David Delande (Univ. Toulouse), examiner
• Milad Jamalzadeh (Univ. Lille), president
• Adrien Berthelot (ENS Lyon), examiner
• Daniel Lezcano (Univ. Toulouse), reviewer
• Chih-Kai Huang (Univ. Rennes), reviewer
• HDR Antoine Boutet (Insa Lyon), reviewer
• Théophile Dubuc (ENS Lyon), reviewer

Lionel Seinturier

• HDR Samy Yangui (INP Toulouse), president
• HDR Nawal Guermouche (INP Toulouse), examiner

11.3.1 Productions (articles, videos, podcasts, serious games, ...)

Clémentine Maurice wrote an article with David Monniaux on "Les arcanes des processeurs mis à l'épreuve" that has been published in July in the magazine La Recherche 52.

11.3.2 Participation in Live events

Adrien Luxey-Bitri worked with the communication service of Inria Lille to set up the exhibit "Le numérique en eaux troubles". The goal is to raise awareness among citizens about the impacts of digital development on water resources. The exhibit was displayed from 11 October to 25 November in Forum départemental des sciences in Villeneuve d'Ascq in the context of Fête de la science.

Clémentine Maurice and Iliana Fayolle contributed to Les rendez-vous des jeunes mathématiciennes et informaticiennes (RJMI) on 21 and 22 October in Inria Lille by giving a talk on cybersecurity and animating workshops.

Iliana Fayolle and Tristan Coignion animated workshops for middle-school pupils during their Stage de découverte de 3ème at Inria Lille on December 20.

International journals

• 11 articleP.Pierre Ayoub, A.Aurélien Hernandez, R.Romain Cayre, A.Aurélien Francillon and C.Clémentine Maurice. PhaseSCA: Exploiting Phase-Modulated Emanations in Side Channels.IACR Transactions on Cryptographic Hardware and Embedded Systems2025. In press. HALback to text
• 12 articleB.Benjamin Danglot, J.-R.Jean-Rémy Falleri and R.Romain Rouvoy. Can We Spot Energy Regressions using Developers Tests?Empirical Software Engineering29121July 2024. In press. HALDOI
• 13 articleG.Guillaume Fieni, D. R.Daniel Romero Acero, P.Pierre Rust and R.Romain Rouvoy. PowerAPI: A Python framework for building software-defined power meters.Journal of Open Source Software998June 2024, 6670HALDOI
• 14 articleP.Pierre Jacquet, T.Thomas Ledoux and R.Romain Rouvoy. ScroogeVM: Boosting Cloud Resource Utilization with Dynamic Oversubscription.IEEE Transactions on Sustainable Computing2024, 1-13HALDOIback to text
• 15 articleE.Emilio Molina, M.Mirko Fiacchini, A.Arthur Goarant, R.Rémy Raes, S.Sophie Cerf and B.Bogdan Robu. Application of a predictive method to protect privacy of mobility data.Control Engineering Practice156March 2025, 106223HALDOI
• 16 articleM.Maryam Rahmani, S.Suzanne Crumeyrolle, N.Nadège Allegri-Martiny, A.Amir Taherkordi and R.Romain Rouvoy. PmForecast: Leveraging Temporal LSTM to Deliver In situ Air Quality Predictions.Environmental Science and Pollution ResearchAugust 2024HALDOIback to text
• 17 articleB.Brell Sanwouo, C.Clément Quinton and R.Romain Rouvoy. TS-Pothole: Automated Imputation of Missing Values in Univariate Time Series.Neural Computing and ApplicationsSeptember 2024HALback to text

Invited conferences

• 18 inproceedingsV.Vincent Roca and P.Pierre Laperdrix. Web, smartphone, AdTech: the privacy viewpoint.Winter school 2024 of the PEPR CybersecurityAutrans, FranceJanuary 2024HALback to text

International peer-reviewed conferences

• 19 inproceedingsA.Antoine Amarilli, P.Pierre Bourhis, F.Florent Capelli and M.Mikaël Monet. Ranked Enumeration for MSO on Trees via Knowledge Compilation.27th International Conference on Database Theory (ICDT 2024)International Conference on Database Theory (ICDT 2024)29025Paestum, ItalyMarch 2024, 5:1–25:18HALDOI
• 20 inproceedingsP.Pierre Ayoub, R.Romain Cayre, A.Aurélien Francillon and C.Clémentine Maurice. BlueScream: Screaming Channels on Bluetooth Low Energy.Proceedings of the 40th Annual Computer Security Applications Conference (ACSAC '24)40th Annual Computer Security Applications Conference (ACSAC '24)Waikiki, Honolulu, Hawaii, United StatesDecember 2024HALback to text
• 21 inproceedingsA.Alexandre Bonvoisin, C.Clément Quinton and R.Romain Rouvoy. Understanding the Performance-Energy Tradeoffs of Object-Relational Mapping Frameworks.SANER'24 - 31th IEEE International Conference on Software Analysis, Evolution and ReengineeringRovaniemi, FinlandIEEEMarch 2024, 11HALback to text
• 22 inproceedingsP.Pierre Bourhis, A.Aaron Boussidan, C.Céline Fournial and P.Philippe Gambette. Detecting semantic or structural similarities for theater play comparison.17e Journées internationales d'Analyse statistique des Données TextuellesJADT 2024Proceedings of the 17th International Conference on the Statistical Analysis of Textual DataBruxelles (BE), Belgium2024, 139-148HAL
• 23 inproceedingsT.Tristan Coignion, C.Clément Quinton and R.Romain Rouvoy. A Performance Study of LLM-Generated Code on Leetcode.EASE'24 - 28th International Conference on Evaluation and Assessment in Software EngineeringProceedings of the 28th International Conference on Evaluation and Assessment in Software Engineering (EASE'24)Salerno, ItalyJune 2024HALDOIback to text
• 24 inproceedingsB.Boubacar Diarra, K.Karine Guillouard, M.Meryem Ouzzif, P.Philippe Merle and J.-B.Jean-Bernard Stefani. In-depth analysis of Kubernetes manifest verification tools for robust CNF deployment.ICIN 2024 - Conference on Innovation in Clouds, Internet and NetworksParis, France2024, 1-8HALback to text
• 25 inproceedingsS.Salman Farhat, S.Simon Bliudze, L.Laurence Duchien and O.Olga Kouchnarenko. Composing Run-Time Variability Models.Software Engineering and Formal Methods. SEFM 202415280Lecture Notes in Computer ScienceAveiro, PortugalSpringer Nature SwitzerlandNovember 2024, 234-252HALDOIback to text
• 26 inproceedingsI.Iliana Fayolle, J.Jan Wichelmann, A.Anja Köhl, W.Walter Rudametkin, T.Thomas Eisenbarth and C.Clémentine Maurice. Semi-Automated and Easily Interpretable Side-Channel Analysis for Modern JavaScript.CANS 2024 - 23rd International Conference on Cryptology And Network SecurityCambridge, United Kingdom2024, 1-22HALback to text
• 27 inproceedingsI.Imane Fouad, C.Cristiana Santos and P.Pierre Laperdrix. The Devil is in the Details: Detection, Measurement and Lawfulness of Server-Side Tracking on the Web.Privacy Enhancing Technologies24th Privacy Enhancing Technologies Symposium (PETS 2024)20244Bristol, United KingdomJuly 2024HAL
• 28 inproceedingsÉ.Édouard Guégain, T.Thibault Simon, A.Alban Rahier and R.Romain Rouvoy. Managing Uncertainties in ICT Services Life Cycle Assessment using Fuzzy Logic.ICT4S'24 - 10th International Conference on ICT for SustainabilityProceedings of the 10th International Conference on ICT for Sustainability (ICT4S'24)Stockhlom, SwedenIEEEJune 2024HALback to textback to text
• 29 inproceedingsQ.Quentin Guilloteau, S.Sophie Cerf, R.Raphaël Bleuse, B.Bogdan Robu and E.Eric Rutten. Under Control: A Control Theory Introduction for Computer Scientists.ACSOS 2024 - 5th IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS 2024)Aahrus, DenmarkIEEE2024, 1-10HAL
• 30 inproceedingsQ.Quentin Guilloteau, S.Sophie Cerf, E.Eric Rutten, R.Raphaël Bleuse and B.Bogdan Robu. Tutorial: "Under-Control: A Control Theory Introduction for Computer Scientists".FlexScience 2024 - 14th workshop on AI and Scientific Computing at Scale using Flexible Computing InfrastructuresPise, ItalyJune 2024, 1-2HAL
• 31 inproceedingsM.Maxime Huyghe, C.Clément Quinton and W.Walter Rudametkin. Taming the Variability of Browser Fingerprints.SPLC'24 - 28th ACM International Systems and Software Product Lines ConferenceLuxembourg, LuxembourgSeptember 2024, 1-6HAL
• 32 inproceedingsP.Pierre Jacquet, T.Thomas Ledoux and R.Romain Rouvoy. SLACKVM: Packing Virtual Machines in Oversubscribed Cloud Infrastructures.2024 CLUSTER - IEEE International Conference on Cluster ComputingProceedings of the IEEE International Conference on Cluster Computing (CLUSTER)Kobe, JapanIEEE2024, 1-12HALDOIback to text
• 33 inproceedingsP.Pierre Jacquet, T.Thomas Ledoux and R.Romain Rouvoy. SweetspotVM: Oversubscribing CPU without Sacrificing VM Performance.Proceedings of the 24th IEEE/ACM international Symposium on Cluster, Cloud and Internet Computing (CCGrid'24)CCGrid'24 - 24th IEEE/ACM international Symposium on Cluster, Cloud and Internet ComputingPhiladelphia, United StatesIEEE2024, 1-10HALDOIback to text
• 34 inproceedingsN.Naif Mehanna, W.Walter Rudametkin, P.Pierre Laperdrix and A.Antoine Vastel. Free Proxies Unmasked: A Vulnerability and Longitudinal Analysis of Free Proxy Services.Workshop on Measurements, Attacks, and Defenses for the Web (MADWeb'24)MADWeb 2024 - Workshop on Measurements, Attacks, and Defenses for the WebSan Diego (CA), United States2024, 1-12HALDOIback to textback to textback to textback to text
• 35 inproceedingsR.Rosa Pagano, S.Sophie Cerf, B.Bogdan Robu, Q.Quentin Guilloteau, R.Raphaël Bleuse and E.Eric Rutten. Making Control in High Performance Computing for Overload Avoidance Adaptive in Time and Job Size.CCTA 2024 - 8th IEEE Conference on Control Technology and ApplicationsNewcastle Upon Tyne, United KingdomIEEE2024, 1-8HAL
• 36 inproceedingsR.Rémy Raes, A.Adrien Luxey-Bitri, R.Romain Rouvoy, D.Davide Frey and F.François Taïani. Venice: eschewing the cloud by leveraging local communication channels.ICT4S 2024 - International Conference on Information and Communications Technology for SustainabilityStockholm, Sweden2024, 1-4HAL
• 37 inproceedingsR.Rémy Raes, O.Olivier Ruas, A.Adrien Luxey-Bitri and R.Romain Rouvoy. Compact Storage of Data Streams in Mobile Devices.Distributed Applications and Interoperable SystemsDAIS'24 - 24th International Conference on Distributed Applications and Interoperable Systems14677Proceedings of the 24th International Conference on Distributed Applications and Interoperable Systems (DAIS'24)Groningen, NetherlandsLNCSJune 2024, 45HALback to text
• 38 inproceedingsT.Thibault Simon, D.David Ekchajzer, A.Adrien Berthelot, E.Eric Fourboul, S.Samuel Rince and R.Romain Rouvoy. BoaviztAPI: a bottom-up model to assess the environmental impacts of cloud services.HotCarbon'24 - 3rd Workshop on Sustainable Computer SystemsSanta Cruz, United StatesJuly 2024HALback to textback to text
• 39 inproceedingsY.Yifan Wang, P.Pierre Bourhis, R.Romain Rouvoy and P.Patrick Royer. Challenges and Opportunities in Automating DBMS: A Qualitative Study.ASE '24: 39th IEEE/ACM International Conference on Automated Software EngineeringASE2024 Industry TrackSacramento - Californie, United StatesACM; ACMOctober 2024, 2013-2023HALDOIback to text
• 40 inproceedingsQ.Qiang Wang, H.Huadong Dai, Y.Yongxin Zhao, M.Min Zhang and S.Simon Bliudze. Enabling Behaviour Tree Verification via a Translation to BIP.Lecture Notes in Computer ScienceFormal Aspects of Component Software. FACS 2024LNCS - 15189Lecture Notes in Computer ScienceMilan, ItalySpringer Nature SwitzerlandSeptember 2024, 3-20HALDOI

Doctoral dissertations and habilitation theses

• 41 thesisS.Simon Bliudze. Contributions to the Rigorous Design of Concurrent Component-Based Software and Systems Using BIP.Université de LilleMarch 2024HALback to text
• 42 thesisP.Pierre Bourhis. Dialog Between Logic, Trees and Circuits.Université de LilleSeptember 2024HALback to text
• 43 thesisS.Salman Farhat. Safe Dynamic Reconfiguration of Applications with Features: Run-time Coordination of Reconfiguration Requests.Université de LilleJuly 2024HALback to textback to text
• 44 thesisJ. L.Jean Luc Intumwayase. Exploring the Impact of the User's Browsing Environment on Web Privacy.Université de LilleDecember 2024HALback to textback to text
• 45 thesisP.Pierre Jacquet. Enhancing IaaS Consolidation with Resource Oversubscription.Université de LilleJuly 2024HALback to textback to textback to text
• 46 thesisN.Naif Mehanna. Intrinsically Inseparable: Investigating Novel Tracking Practices and Assessing the Carbon Footprint of Ads.Université de LilleMay 2024HALback to textback to textback to text
• 47 thesisC.Clément Quinton. Evolving, Adapting and Optimizing Configurable Software Systems.University of LilleJanuary 2024HALback to text
• 48 thesisM.Maryam Rahmani. Next-Generation Air Pollution Forecasting: Integrating AI, Spatiotemporal Dynamics, and Privacy-Ensuring Approaches for Urban Areas.Université de LilleDecember 2024HALback to textback to text
• 49 thesisT.Thibault Simon. Software Ecodesign: Estimating and Reducing Software Environmental Footprint.Université de LilleDecember 2024HALback to textback to textback to text

Other scientific publications

• 50 inproceedingsT.Thomas Collignon and A.Alexandre van Kempen. Using Control Theory to Reduce Disk Congestion Caused by Unpredictable I/O in Cloud Computing.Performance and Scalability of Storage Systems (Per3S)Paris, FranceMay 2024HALback to text
• 51 inproceedingsR.Rémy Raes, R.Romain Rouvoy, A.Adrien Luxey-Bitri, D.Daniel Romero, D.Davide Frey and F.François Taïani. Eschewing the Cloud by leveraging Local Communication Channels: Angus & Bob want to share cool things.ICT4S 2024 - International Conference on ICT for SustainabilityStockholm, Sweden2024, 1-1HAL

Scientific popularization

• 52 articleD.David Monniaux and C.Clémentine Maurice. Les arcanes des processeurs mis à l'épreuve.La Recherche578July 2024HALback to text