Internship proposals – Simon Bliudze

Vers un réseau social pour des émigrés antiques

08/10/202008/10/2020sbliudze

Dans le cadre du projet « EX-PATRIA : Dissidence ane Emigration in Late Antique Rome, Persia, and Neighbouring Lands » qui vient de débuter ce mois, nous vous proposons de devenir l’architecte d’une base de données — et de l’application web qui servira à l’alimenter — rassemblant les informations disponibles sur les parcours et les interactions entre des personnalités historiques (3ème-6ème siècles de notre ère) ayant choisi ou subi l’émigration.

Symbolic verification of real-time design patterns

09/11/201912/09/2020sbliudze

This proposal focuses on the extension of the theory of BIP design patterns (called “architectures”) to the real-time domain.

Composability & verification of BIP design patterns

31/10/201909/11/2019sbliudze

This proposal focusses on the implementation and extension of the results presented in a recent paper on the verification of BIP design patterns with data.

Introducing compound components in JavaBIP

31/10/201931/10/2019sbliudze

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.

Automatic Synthesis of Self-Healing Android Applications

18/03/201906/09/2019sbliudze

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.