With Laura Bocchi, we are co-charing the Program Committee of Coordination 2020 — one of the three conferences forming DisCoTec 2020, which will take place at the University of Malta, Valletta, on June 15–19, 2020.
One of the key problems in the domain of cloud computing is the
correct management of (re)configurations. Indeed, cloud applications
are complex concurrent software systems that are further subject to
the constraints imposed by the underlying cloud platforms. They must
be capable of self-adaptation while ensuring correctness in spite of
subtle dependencies both among the software components, and between
components and the resources provided by the platforms.
This proposal builds upon the previous work carried out by Waïss Azizian for his ENS L3 internship project. It focuses on the extension of the theory of BIP design patterns (called “architectures”) to the real-time domain.
The goal of the project is to introduce compound components in JavaBIP. Indeed, in the original BIP framework, components can be assembled hierarchically to simplify re-use. This feature is missing in JavaBIP.
Looking forward to hosting a visit by Sergio Mover, who will give a talk on “Lifestate: Event-Driven Protocols and Callback Control Flow” at 10:30 on Thursday, 5th of September, in the Inria Lille Building B seminar room.
With Sergio Mover from LIX (École Polytechnique, Paris), we are looking for a student interested in working on “self-healing” Android applications.
The goal of the internship is to design and implement self-healing techniques for Event-Driven frameworks. Given an Android app, we want to automatically synthesize a new version of the app that avoids protocol violations—for example removing particular interleavings of events.
I have just received an official notification that my project proposal “Rigorous Component-Based Design of Correct-by-Construction Software and Systems: Application to Cloud Computing” was approved by the Hauts de France region.