The paper SMT-Based Planning Synthesis for DistributedSystem Reconfigurations has been accepted for publication at the FASE 2022 conference. The paper is co-written with Simon Robillard (main author).
The paper Executing Certified Model Transformations on Apache Spark has been accepted for publication at the SLE 2021 conference. The paper is co-written with Jolan Philippe (main author), Massimo Tisi and Gerson Synyé.
I gave an invited talk to the ICE workshop hosted at DisCoTec 2021. See the slides
Kick-off of the SeMaFoR (Self Management of Fog Resources) funded by the French national research agency (ANR).
Two talks have been given the 2021-03-01 and 2021-03-02 to master and Ph.D. students of the Arctic University of Norway in their course on advanced distributed systems. More details in “Teachings”!
The 24 of February 2021 was hold the kick-off meeting of the national YODA (trustworthY and Optimal Dynamic Adaptation) working group that I co-chair.
The 19 of February 2021 was hold the kick-off meeting of the CyclOps working group that I co-chair. This group discuss and identify the scientific challenges regarding automatic deployment and reconfiguration of distributed softare systems, including networks. The objective is to identify some collaborations between researchers. This working group is one of the groups of the joint lab between Inria and the French telecomunication company Orange.
I am pleased to be elected as the vice-president of the French ACM SIGOPS group.
I have given a talk the 2021-01-27 to the researchers of the Inria Spirals research group in Lille. More details in “talks”!
Title: Toward Safe and Efficient Reconfiguration with Concerto Abstract: For large-scale distributed systems that need to adapt to a changing environment, conducting a reconfiguration is a challenging task. In particular, efficient reconfigurations require the coordination of multiple tasks with complex dependencies. We present Concerto, a model used to manage the lifecycle of software components and coordinate their reconfiguration operations. Concerto promotes efficiency with a fine-grained representation of dependencies and parallel execution of reconfiguration actions, both within components and between them.