Safe dynamic reconfiguration of cloud applications

Context

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.

Read more

Automatic Synthesis of Self-Healing Android Applications

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.

Read more

My project proposal has been approved by the Hauts de France region

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.

Thanks to Charlotte Hespel and Lionel Seinturier for their help with preparing the proposal. I am Looking forward to officially starting the project.

Spoiler: I will be hiring a post-doc to work on formal models for self-adaptive software.