Our Team

Mathieu Acher

Mathieu Acher

Associate Professor

ISTIC, Université de Rennes 1
Olivier Barais

Olivier Barais

Professor, acting head of the team

ISTIC, Université de Rennes 1
Benoit Baudry

Benoit Baudry

Senior Researcher INRIA, Professor at KTH, Head of the team

KTH, Sweden
Arnaud Blouin

Arnaud Blouin

Associate Professor

INSA Rennes
Johann Bourcier

Johann Bourcier

Associate Professor

ESIR, Université de Rennes 1
Benoît Combemale

Benoît Combemale

Professor

UT2J, Toulouse
Tifenn Donguy

Tifenn Donguy

Administrative Assistant

CNRS
Jean-Marc Jézéquel

Jean-Marc Jézéquel

Professor, head of the IRISA lab

ISTIC, Université de Rennes 1
Noel Plouzeau

Noel Plouzeau

Associate Professor

ISTIC, Université de Rennes 1
Didier Vojtisek

Didier Vojtisek

Research Engineer

INRIA Rennes
Caroline Landry

Caroline Landry

Research Engineer

INRIA
Erwan Bousse

Erwan Bousse

Post-doctoral researcher

TU Wien
Amine Benelallam

Amine Benelallam

Post-doctoral researcher

INRIA
Fabien Coulon

Fabien Coulon

Ph.D. CIFRE, Obeo

UT2J, Toulouse
Manuel Leduc

Manuel Leduc

Pôle d’Excellence Cyber Grant

U. of Rennes
Dorian Leroy

Dorian Leroy

Ph.D. Austrian Tetrabox project

TU Wien, Austria
Alexandre Rio

Alexandre Rio

Ph.D. CIFRE OKWind

U. of Rennes
Ludovic Mouline

Ludovic Mouline

Ph.D.

U. of Luxembourg / U. of Rennes
Oscar Luis Vera Pérez

Oscar Luis Vera Pérez

Ph.D.

INRIA / U. of Rennes
Jean Emile DARTOIS

Jean Emile DARTOIS

Ph.D.

B-COM / U. of Rennes
Youssou Ndiaye

Youssou Ndiaye

Ph.D.

Orange / U. of Rennes
Gauthier LYAN

Gauthier LYAN

Ph.D.

Keolis / U. of Rennes
Antoine Cheron

Antoine Cheron

Ph.D.

FABERNOVEL / U. of Rennes
Alejandro G. Gómez-Boix

Alejandro G. Gómez-Boix

Ph.D.

INRIA / U. of Rennes
Paul Temple

Paul Temple

Ph.D.

INRIA / U. of Rennes
Erwan Picard

Erwan Picard

Ph.D.

IODE / U. of Rennes

Selected Publications

Recent Publications

More Publications

In IEEE International Conference on Autonomic Computing (ICAC), 2018.

In ASE 2018 - 33rd ACM/IEEE International Conference on Automated Software Engineering, ACM Press, 2018.

In *22nd International Systems and Software Product Line Conference (SPLC2018) *, 2018.

In Computer Languages, Systems and Structures, Elsevier, 2018.

In Empirical Software Engineering, Springer Verlag, 2018.

In ECMFA 2018 - 14th European Conference on Modelling Foundations and Applications, 2018.

In MSR 2018 - Mining Software Repositories, 2018.

In IEEE S&P 2018 - 39th IEEE Symposium on Security and Privacy, IEEE, 2018.

In ACM/IEEE 40th International Conference on Software Engineering: Companion Proceedings, 2018.

In * ICSR 2018 - International Conference on Software Reuse*, 2018.

Recent & Upcoming Talks

More Talks

We are happy to receive Marcel Heinz as a guest speaker for our next DiverSECoffee. Marcel is a research assistant in the software languages team at theUniversity of Koblenz-Landau. He is working towards a Ph.D. His generalinterests are in Software Language Engineering, Modeling and Ontologies. Hisresearch focus is on assisting at the comprehension of software technologies.Enters Marcel: Wikipedia is a rich source for classifying entities in manydomains. Wikipedia's category graph focuses on classification combined withsecondary uses of categorization. Wikipedia's infoboxes define entity propertiesthat also relate to classification. In this paper, we aim at validating and,ultimately, improving the classification data available on Wikipedia. To thisend, we develop a multi-dimensional methodology which combines availablefragments of ground truth, diverse feature extraction, and metrics computationin a systematic manner. We apply the methodology to a case study which resultsin a strongly validated classification of software (computer) languages. ThePresentation is held this Friday in Markov room at 10 am.
DiverSE coffee , Jul 6, 2018

For our next DiverSE Coffee, and perhaps the last for this season, we're glad towelcome back to the playing field, Guillaume Becan, a team veteran. Guillaumewas doing his Ph.D. under the supervision of Benoit Baudry and Mathieu Acher. Hewas working in reverse engineering of variability models with a focus on productcomparison matrices that abound on the web (e.g. in Wikipedia). EntersGuillaume:'' After my Ph.D. at the DiverSE team, I joined the startup Mediegowhich was created in 2015 by Anne-Marie Kermarrec (senior researcher at Inria -Rennes). Mediego develops a SaaS solution around recommender systems that enablethe personalization of web pages, newsletters, and mobile apps. In my talk, Iwill present the underlying algorithms and infrastructure of Mediego. Then, Iwill focus on the challenges we've faced shipping out a recommender system fromthe Lab to the real world.'' The talk is held in Minquiers this Thursday at 1pm. Kind regards,
DiverSE coffee , Jul 5, 2018

Be ready this Thursday for a one-hour talkathon given by DiverSE interns.On theagenda :Topic #1:Speakers:Enzo Menegaldo, 4th-year INSA Rennes, Comp. Sc. Dept.,Arnaud Gohier, M1 CCN ISTICSupervisor:Johann Bourcier & Didier VojtisekTitle:Development of an Android application toward a personal data collection awareuserTopic #2:Speaker:DIDOT Gwendal, Master 1 in Computer Science Security,System, and Network.Supervisor:Arnaud Blouin.Title:MalaiTS, better UI in yourbrowserMy presentation is about the migration of Malai to a web environment. Howit works, and what are the difficulties I'm facing while migrating to aTypescript/Javascript environment.Topic #3:Speaker:Luc LESOIL, M2 ENSAI(national school of statistics & information analysis)Supervisor:François BODIN,FluxCampus projectTitle:Mobility of students - BeaulieuThis project studies howthe students live on their campus? How they use the infrastructure at theirdisposal?In my internship, I focus especially on the usage of bus and universityrestaurants.Topic #4:Speaker:Alexis LE MASLE, Master 1 in Computer ScienceSecurity, System, and NetworkSupervisor:Mathieu AcherTitle:TuxML, MachineLearning applied to the Linux kernelTopic #5:Speaker:Yannick NamourSupervisor:Mathieu Acher& Manuel LeducTitle:Domain Specific Language -Implementation ofmorphic languagesI'll be presenting the pcsv, a polymorphic DSL for importingcsv files.The presentation is held in Turing-Petri room, tomorrow at 1 p.m.Please be there on time!Regards,
DiverSE coffee , Jun 28, 2018

This talk introduces and illustrates the benefits of mutation testing to assess the quality of test suites
breizhjug , Jun 21, 2018

Modern configurable systems are designed in a powerful and flexible way in orderto meet the needs of more and more users at the expense of their clarity anduser-friendliness. With huge configuration space, it is impossible to fullyexplore strong interactions between parameters that even experts struggle tofind a configuration matching their needs. In order to help users to quicklyfind a configuration corresponding to their expectations, we propose anautomated specialization process based on machine learning. By studying twodifferent approaches and many aspects of the learning while testing the processon many real-world systems, we came to the conclusion that such process offersgood results as well as it opens many ways of improvement.
DiverSE coffee , Jun 21, 2018

It is my pleasure to introduce you this superb start-up named Zéro-Gâchis. Theyare established in Nantes and help supermarkets and hypermarkets to manageproducts that are about to expire in order to reduce waste. Zéro-Gâchis is alsoturned towards customers by proposing discounts on those products at the rightmoment helping them to save money. As a result, Zéro-Gâchis also promotes anhealthy diets. Zéro-Gâchis has been created in 2011 and they quickly expandedfrom Nantes and surroundings to France. Nicolas Pieuchot, the CTO of thecompany, will talk about his adventure in creating a start-up, but also thedifficulties he, and his team, are having in managing their code, testing it andmanage the deployment on site. The meeting will take place in room Aurigny at 1:00pmwebsite: https://zero-gachis.com/
DiverSE coffee , Jun 14, 2018

For our next diverSE coffee, we're happy to have, once again, Oscar Luis VeraPérez among us.He will be presenting his latest results on investigating therelevance of pseudo tested methods on real open-source projects.Enters Oscar:Pseudo-tested methods are those whose code can be removed and the test suite isnot able to detect the transformation.In this presentation, we introduce anextension of the concept and explore the presence of such methods in real opensource projects.We also explore if they are relevant enough for developers toimprove their test suite.The presentation is held this Thursday in roomMinquiers at 1 p.m.
DiverSE coffee , Apr 26, 2018

Hi all,ManuelLeduc has kindly accepted our invitation for participation in theDiverSECoffee. He will be sharing his experience on building interpreters on topof the latest JVM. EntersManuel: Developing interpreters is a cornerstone ofDomain-Specific Languages (DSLs) development. Sadly, performances are often anissue when executing large DSL's programs. The latest virtual machine researchdone at Oracle labs and implemented in the latest versions of the JVM yieldincredible performances boost on interpreted languages implemented on top of theJVM using a mix of Just-In-Time (JIT) compiler, speculative optimization,partial evaluation and AST annotations. My presentation will be a short (~15mns)and (not so) technical summary of the knowledge I have gathered about Oraclelabs research and how I am currently applying them in different contexts. Incomplement to the traditional Q&A time following the presentation, I would likealso brainstorm and use your brainpower to think about how we can apply suchadvances to the scientific topics of theDiverSEteam. The presentation is heldin room Minquiers at 1 p.m.
DiverSE coffee , Apr 19, 2018

We are pleased to have Alejandro Gomez as a speaker for our next DiverSE Coffee,entitled Hiding in the Crowd: an Analysis of the Effectiveness of BrowserFingerprinting at Large Scale.In his latest work, also the topic of hispresentation, Alejandro uncovers some insights about the effectiveness ofbrowser fingerprinting and the fragileness of non-unique fingerprints.He alsowarns about the evolution trend of current web technologies and its impact onbrowser fingerprinting.Enters Alejandro: Browser fingerprinting is a statelesstechnique, which consists in collecting a wide range of data about a devicethrough browser APIs. Past studies have demonstrated that modern devices presentso much diversity that fingerprints can be exploited to identify and track usersonline. With this work, we want to evaluate if browser fingerprinting is stilleffective at uniquely identifying a large group of users when analyzing millionsof fingerprints over a few months. We analyze 2,067,942 browser fingerprintscollected from one of the top 15 French websites. The observations made on thisnovel dataset shed a new light on the ever-growing browser fingerprintingdomain. The key insight is that the percentage of unique fingerprints in thisdataset is much lower than what was reported in the past: only 33.6% offingerprints are unique by opposition to over 80% in previous studies. We showthat non-unique fingerprints tend to be fragile. If some features of thefingerprint change, it is very probable that the fingerprint will become unique.We also confirm that the current evolution of web technologies is benefitingusers’ privacy significantly as the removal of plugins brings down substantivelythe rate of unique desktop machines.This work will be presented at the 2018 WebConference, in April.Until then, you must come see his presentation. It is heldin roomMarkov, Thursday,April 5, at1 p.m.
DiverSE coffee , Apr 3, 2018

We are happy to have Ludovic Mouline as a guest speaker for our next DiverSECoffee. He will be presenting his latest accepted paper on EnablingTemporal-Aware Contexts for Adaptative Distributed Systems. This work will bepresented at ACM SAC track on Software Architecture: Theory, Technology, andApplications. Enters Ludovic: Distributed adaptive systems are composed offederated entities offering remote inspection and reconfiguration abilities.This is often realized using a MAPE-K loop, which constantly evaluates theparameters of the system and the environment, and derives corrective actions, ifnecessary. The OpenStack Watcher project uses such a loop to implement resourceoptimization services for multi-tenant clouds. To ensure a timely reaction inthe event of failures, the MAPE-K loop is executed with a high frequency. Amajor drawback of such reactivity is that many actions, e.g., the migration ofcontainers in the cloud, take more time to be effective and their effects to bemeasurable than the MAPE-k loop execution frequency. Unfinished actions, as wellas their expected effects over time, are not taken into consideration in MAPE-Kloop processes, leading upcoming analysis phases potentially take sub-optimalactions. In this paper, we propose an extended context representation for MAPE-Kloop that integrates the history of planned actions as well as their expectedeffects over time into the context representations. This information can then beused during the upcoming analysis and planning phases to compare measured andexpected context metrics. We demonstrate on a cloud elasticity manager casestudy that such temporal action-aware context leads to improved reasoners whilestill be highly scalable. The presentation is held this Thursday in roomMinquiers at 1 p.m.
DiverSE coffee , Mar 28, 2018

Recent Posts

More Posts

Olivier Barais published a new Blog Post: Quelques règles pour l’installation des portables

CONTINUE READING

Olivier Barais published a new Blog Post: Migrating From Hibernate To EclipseLink On JHipster

CONTINUE READING

Just launch new Web Site for DiverSE Team

CONTINUE READING

Olivier Barais published a new Blog Post: Add wifi to any camera

CONTINUE READING

Olivier Barais published a new Blog Post: Add wifi to any camera

CONTINUE READING

Chaos Engineering for IoT and Network Services. PhD shared between Inria and Bell Labs

The main objectives of the PhD will be to Integrate a chaos engineering principles to IoT Services frameworks to improve the robustness of the software-defined network services using this approach and to explore the concept of equivalence for software-defined network services and propose an approach to constantly evolve the attack surface of the network services.

Faber Novel PhD grant

In this project (2018-2021) with the FaberNovel company (ex ZenGularity) we investigate the abstraction to facilitate the developmennt of hypermedia API

GEMOC Initiative

GEMOC is an open and international initiative that aims to coordinate and disseminate the research results regarding the support of the coordinated use of various modeling languages that will lead to the concept of the globalization of modeling languages.

GLOSE INRIA/SAFRAN Labs 2017-2021

The GLOSE project develops new techniques for heterogeneous modeling and simulation in the context of systems engineering. It aims to provide formal and operational tools and methods to formalize the behavioral semantics of the various modeling languages used at system-level. These semantics will be used to extract behavioral language interfaces supporting the definition of coordination patterns. These patterns, in turn, can systematically be used to drive the coordination of any model conforming to these languages. The project is structured according to the following tasks: concurrent xDSML engineering, coordination of discrete models, and coordination of discrete/continuous models. The project is funded in the context of the network DESIR, and supported by the GEMOC initiative.

ICT COST Action MPM4CPS (IC1404) 2014-2018

Truly complex, designed systems, known as Cyber Physical Systems (CPS), are emerging that integrate physical, software, and network aspects. To date, no unifying theory nor systematic design methods, techniques and tools exist for such systems. Individual (mechanical, electrical, network or software) engineering disciplines only offer partial solutions. Multi-paradigm Modelling (MPM) proposes to model every part and aspect of a system explicitly, at the most appropriate level(s) of abstraction, using the most appropriate modelling formalism(s). Modelling languages’ engineering, including model transformation, and the study of their semantics, are used to realize MPM. MPM is seen as an effective answer to the challenges of designing CPS. This COST Action promotes the sharing of foundations, techniques and tools, and provide educational resources, to both academia and industry. This is achieved by bringing together and disseminating knowledge and experiments on CPS problems and MPM solutions. Benoit Combemale is a member of the management committee.

Inria Associate Teams **ALE**: Agile Language Engineering (2017-2020)

Software engineering faces new challenges with the advent of modern software-intensive systems such as complex critical embedded systems, cyber-physical systems and the Internet of things. Application domains range from robotics, transportation systems, defense to home automation, smart cities, and energy management, among others. Software is more and more pervasive, integrated into large and distributed systems, and dynamically adaptable in response to a complex and open environment. As a major consequence, the engineering of such systems involves multiple stakeholders, each with some form of domain-specific knowledge, and with an increasingly use of software as an integration layer. Hence more and more organizations are adopting Domain Specific Languages (DSLs) to allow domain experts to express solutions directly in terms of relevant domain concepts. This new trend raises new challenges about designing DSLs, evolving a set of DSLs and coordinating the use of multiple DSLs for both DSL designers and DSL users. ALE will contribute to the field of Software Language Engineering, aiming to provide more agility to both language designers and language users. The main objective is twofold. First, we aim to help language designers to leverage previous DSL implementation efforts by reusing and combining existing language modules. Second, we aim to provide more flexibility to language users by ensuring interoperability between different DSLs and offering live feedback about how the model or program behaves while it is being edited (aka. live programming/modeling).

Keolis PhD grant

In this project (2018-2021) with the Keolis company we investigate the design of smart city transport simulators that combine top-down modelling and IA techniques. In this context, Jean-Marc Jézéquel acts as Ph.D advisor for Gauthier Lyan with David Gross-Amblard.

OKWind PhD grant

In this project with the OKWind company we investigate the design of solutions in favor of self-consumption for small industries or city districts. In this context, Olivier Barais acts as Ph.D advisor for Alexandre Rio with Yoann Maurel.

One Shot Software (OSS) 2017-2019

The OSS project investigates an extreme version of moving target defense where a slightly different version of the application is deployed each time it is used (e.g., for crypto functions or payment services). We investigate the analysis, synthesis and transformation techniques to support diversification at 5 points of a software construction pipeline, which, once combined yield up to billions of variants. We also evaluate the support of diversification as a first class property in DevOps.

Orange PhD grant

In this project with the Orange company we investigate the security of user interfaces. In this context, Olivier Barais acts as Ph.D advisor for Youssou Ndaye with Arnaud Blouin.

PROFILE (Cominlabs) 2016-2019

The PROFILE project brings together experts from law, computer science and sociology to address the challenges raised by online profiling, following a multidisciplinary approach. More precisely, the project will pursue two complementary and mutually informed lines of research: (i) Investigate, design, and introduce a new right of opposition into the legal framework of data protection to better regulate profiling and to modify the behavior of commercial companies towards being more respectful of the privacy of their users; (ii)S Provide users with the technical means they need to detect stealthy profiling techniques as well as to control the extent of the digital traces they routinely produce. As a case study, we focus on browser fingerprinting, a new profiling technique for targeted advertisement. The project will develop a generic framework to reason on the data collected by profiling algorithms, to uncover their inner working, and make them more accountable to users. PROFILE will also propose an innovative protection to mitigate browser fingerprinting, based on the collaborative reconfiguration of browsers.

Stamp EU Project

STAMP stands for Software Testing AMPlification. Leveraging advanced research in automatic test generation, STAMP aims at pushing automation in DevOps one step further through innovative methods of test amplification. December 1, 2016 - November 31, 2019

VaryVary ANR JCJC (2017-2021)

Most modern software systems (operating systems like Linux, Web browsers like Firefox or Chrome, video encoders like x264 or ffmpeg, servers, mobile applications, etc.) are subject to variation or come in many variants. Hundreds of configuration options, features, or plugins can be combined, each potentially with distinct functionality and effects on execution time, memory footprint, etc. Among configurations, some of them are chosen and do not compile, crash at runtime, do not pass a test suite, or do not reach a certain performance quality (e.g., energy consumption, security). In this JCJC ANR project, we follow a thought-provocative and unexplored direction: We consider that the variability boundary of a software system can be specialized and should vary when needs be. The goal of this project is to provide theories, methods and techniques to make vary variability. Specifically, we consider machine learning and software engineering techniques for narrowing the space of possible configurations to a good approximation of those satisfying the needs of users. Based on an oracle (e.g., a runtime test) that tells us whether a given configuration meets the requirements (e.g. speed or memory footprint), we leverage machine learning to retrofit the acquired constraints into a variability that can be used to automatically specialize the configurable system. Based on a relative small number of configuration samples, we expect to reach high accuracy for many different kinds of oracles and subject systems. Our preliminary experiments suggest that varying variability can be practically useful and effective. However, much more work is needed to investigate sampling, testing, and learning techniques within a variety of cases and application scenarios. We plan to further collect large experimental data and apply our techniques on popular, open-source, configurable software (like Linux, Firefox, ffmpeg, VLC, Apache or JHipster) and generators for media content (like videos, models for 3D printing, or technical papers written in LaTeX).

Thesis

Ph.D. & M.Sc.

Ludovic Mouline "PhD Candidate" , since Nov, 2015. Joint supervision thesis with University of Luxembourg. Co-director: Y. lE TRAON.
Fabien Coulon , since Dec, 2017. Project Kaulua, CIFRE grant with Obeo.
Manuel Leduc , since Nov, 2016. Grant from the Pôle d’Excellence Cyber. Co-advisor: O. Barais.
Dorian Leroy , since Nov, 2016. Funded by the Austrian Tetrabox project. Co-supervision with Manuel Wimmer and Erwan Bousse at TU Wien.

Contact