Static analysis and runtime monitoring to ensure the consistency of dynamic applications

by Walter Rudametkin positions phd dynamic-software static-analysis

Posted 2015.01.15 — Lille, France

Open Ph.D. Position

Static analysis and runtime monitoring to ensure the consistency of dynamic applications

Summary

Modern software engineering techniques allow building applications that change at runtime, without stopping. We call these applications Dynamic Applications. However, changing applications at runtime to cause inconsistencies that lead to failure. This Ph.D thesis will focus on state-of-the-art tools to analyse and verify that applications remain consistent and function properly despite dynamic change.

Read more ›

Dynamic monitoring to find and diagnose software bugs in cloud applications

by Walter Rudametkin positions phd cloud monitoring

Posted 2015.01.15 — Lille, France

Open Ph.D. Position

Dynamic monitoring to find and diagnose software bugs in cloud applications

Summary

Cloud applications are composed of a myriad of software components distributed across heterogeneous physical and virtual systems. These systems are inherently difficult to debug, diagnose and repair.

This Ph.D thesis will focus on (i) designing dynamic instrumentation techniques and developing a monitoring infrastructure to introspect distributed applications, and (ii) creating algorithms to detect, locate, diagnose and repair software bugs. Machine learning algorithms will be used to tackle the massive amounts of information generated from the monitoring systems.

Read more ›

Gestion et Optimisation d’Applications dans le Cloud

by Walter Rudametkin positions master cloud optimisation

Posted 2014.10.24 — Lille, France

Supervision

Walter Rudametkin (Maître de conférences - Spirals)
Lionel Seinturier (Professeur - Spirals)

Lieu

Spirals Research Group
Inria Lille - Nord Europe
Parc Scientifique de la Haute Borne
40, avenue Halley - Bat. B, Park Plaza
59650 Villeneuve d’Ascq – FRANCE

Contexte

Dans l’informatique en nuage (Cloud Computing) l’environnement d’exécution est en changement continu pour pouvoir s’adapter à la charge des clients, pour pouvoir ajouter de nouvelles fonctionnalités dans les applications, pour réaliser des mises à jour, … Ces applications dans le cloud sont composés de noeuds et de composants logiciels pouvant être ajoutés ou supprimés pendant l’exécution, ce qui permet à un logiciel de s’adapter et de s’ajuster à l’évolution de l’environnement, et également de tenir compte de l’évolution du logiciel même.

Read more ›

Open positions

by Walter Rudametkin positions phd master

Posted 2014.09.11 — Lille, France

We are currently looking for highly motivated candidates for any of the following subjects:

Master’s degree research projects 4-6 months (stage master recherche)

Optimisation d’Applications dans le Cloud

Master’s or Engineering students (PFE ou Stage)

Managing Dynamic Applications for Cloud Computing

Ph.D. proposals

Static analysis and runtime monitoring to ensure the consistency of dynamic applications

Dynamic monitoring to find and diagnose software bugs in cloud applications

Read more ›

Applications Dynamiques pour le Cloud Computing

by Walter Rudametkin positions master cloud dynamic-software

Posted 2014.09.11 — Lille, France

Supervision

Walter Rudametkin (Maître de conférences - Spirals)
Lionel Seinturier (Professeur - Spirals)

Lieu

Spirals Research Group
Inria Lille - Nord Europe
Parc Scientifique de la Haute Borne
40, avenue Halley - Bat. B, Park Plaza
59650 Villeneuve d’Ascq – FRANCE

Contexte

Les domaines de recherche actuels, tels que l’informatique ubiquitaire [1] et l’informatique en nuage (Cloud Computing), considèrent que ces environnements d’exécution sont en changement continu. Les applications dynamiques, où les composants peuvent être ajoutés ou supprimés pendant l’exécution, permettent à un logiciel de s’adapter et de s’ajuster à l’évolution des environnements, et de tenir compte de l’évolution du logiciel. Malheureusement, les applications dynamiques soulèvent des questions de conception et de développement qui n’ont pas encore été pleinement explorées.

Read more ›