Student projects – Page 2

BRiCoS: Building Blocks for Rigorous Design of Concurrent Software

03/11/202003/09/2022sbliudze

This project will address two fundamental challenges for the implementation of the Rigorous System Design approach to general-purpose software: 1) obtaining behavioural models of the coordinated software entities and 2) detecting the deviations between these models and the corresponding executable code in the face of software evolution.

Larisa Safina is working on this project

Composability & verification of BIP design patterns

31/10/201912/11/2020sbliudze

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

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.