Modeling and Language Engineering

Advanced testing

DevOps for distributed and heterogeneous systems

Variability Engineering

Recent Publications

See all

Modular and Distributed IDE

Coulon, Fabien and Auvolat, Alex and Combemale, Benoit and Bromberg, Yérom-David and Taïani, François and Barais, Olivier and Plouzeau, Noël
SLE 2020 - 13th ACM SIGPLAN International Conference on Software Language Engineering,, 2020

A principled approach to REPL interpreters

Thomas Van Binsbergen, L. and Merino, Mauricio Verano and Jeanjean, Pierre and Van Der Storm, Tijs and Combemale, Benoit and Barais, Olivier
SPLASH 2020 - Onward!,, 2020

Salamander: a Holistic Scheduling of MapReduce Jobs on Ephemeral Cloud Resources

Handaoui, Mohamed and Dartois, Jean-Emile and Lemarchand, Laurent and Boukhobza, Jalil
CCGRID 2020 - 20th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing,IEEE, 2020

Recent Talks

See all

Modular and distributed IDE

Fabien Coulon
DiverSE Coffee - 08/10/2020

Fabien presented his last paper accepted at SLE 2020. This paper present his work on distributing IDE services localy and on servers in a smart way.


Presentation of TrustCom and APSEC accepted papers

Nan Zhang Messe
DiverSE Coffee - 01/10/2020

Nan briefly presented her papers about modeling of asset vulnerabilities and how mine information in the CAPEC classification to identify vulnerabilities at design time.


GCP MODEL, an inferred formal model-driven specification of Google Cloud Platform (GCP)

Stéphanie Challita
DiverSE Coffee - 24/09/2020

Stéphanie presented her work on inferring formal model-driven specifications for the Google Cloud platform from its documentation.


Recent Posts

See all

Secret Santa for Java Programmers

by Manuel Leduc on 28/11/2019

ClojureScript Quil Demo

by Manuel Leduc on 12/06/2019

Does javac cleanup useless type casts?

by Manuel Leduc on 20/03/2019

Latest Video

Leveraging model-based product lines for systems engineering (PhD defense) Joao Bosco Ferreira-Filho