Journées Nationales du GDR GPL 2025

9:00 - 10:15 (1h15)

Conférences invités

Amphi A

Franck Barbier

10:15 - 10:30 (15min)

Poster Teasers

Amphi A

10:30 - 11:00 (30min)

Pause

11:00 - 12:30 (1h30)

GT VL

Salle 1 Palassou

› Exploring Performance of Configurable Software Systems: the JHipster Case Study - Édouard Guégain, Self-adaptation for distributed services and large software systems 11:00-11:22 (22min)

› Does Functional Package Management Enable Reproducible Builds at Scale? Yes - Théo Zimmermann, Laboratoire Traitement et Communication de lÍnformation 11:22-11:44 (22min)

› Roseau: Fast, Accurate, Source-based API Breaking Change Analysis in Java - Corentin Latappy, Laboratoire Bordelais de Recherche en Informatique 11:44-12:06 (22min)

› Fingerprinting and Building Large Reproducible Datasets - Romain Lefeuvre, Diversity-centric Software Engineering 12:06-12:28 (22min)

11:00 - 12:30 (1h30)

Jumeaux Numériques (EDT)

Salle 2 Palassou

11:00 - 12:30 (1h30)

GT LVP - AFADL

Salle 3 Palassou

› Prouvez vos coloriages: vérification formelle du coloriage de cache de l'hyperviseur Bao - Nikolai Kosmatov, cortAIx Labs 11:00-11:25 (25min)

› BICOQ : une formalisation des bigraphes dans Coq - Cécile Marcon, ISAE-SUPAERO 11:25-11:50 (25min)

› Une sémantique mécanisée d'un langage FRP avec effets - Jordan Ischard, LIFO 11:50-12:15 (25min)

› Langage Chips : Modélisation et contrôle de systèmes distribués à base de composants - Anna Gallone, FEMTO-ST 12:15-12:30 (15min)

12:30 - 14:00 (1h30)

Déjeuner (+ posters)

Restaurant Universitaire

14:00 - 15:30 (1h30)

GT DevX

Salle 1 Palassou

Benoit Combemale, Valentin Bourcier, Steven Costiou

› DevX : introduction du groupe de travail - Steven Costiou, Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 - Valentin Bourcier, Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 - Benoit Combemale, Diversity-centric Software Engineering 14:00-14:20 (20min)

› Gamifying model-based engineering: The PapyGame tool - Jean-Michel Bruel, Smart Modeling for softw@re Research and Technology 14:20-14:40 (20min)

› On Polyglot Program Testing - Benoit Combemale, Diversity-centric Software Engineering 14:40-15:00 (20min)

› What the Fix? A Study of ASATs Rule Documentation - Jean-Rémy Falleri, Laboratoire Bordelais de Recherche en Informatique 15:00-15:20 (20min)

14:00 - 15:30 (1h30)

GT GLIA

Salle 2 Palassou

14:00 - 15:30 (1h30)

AFADL

Salle 3 Palassou

› Découverte de processus probabiliste avec des arbres de processus stochastiques - Pierre Cry, Université Paris-Saclay, CentraleSupélec, Laboratoire MICS 14:00-14:25 (25min)

› Tail Modulo Async-Await - Emma Nardino, ENS Lyon, Univ Lyon, UCBL, CNRS, Inria, LIP, France 14:25-14:50 (25min)

› Model Checking de LTL sur Traces Finies et Infinies avec Domaines Concrets - Julien Brunel, DTIS, ONERA, Université de Toulouse 14:50-15:15 (25min)

› VASSAL Project: Verification and Analysis for Safety and Security of Applications in Life - Julien Signoles, Université Paris-Saclay, CEA, List 15:15-15:30 (15min)

15:30 - 16:00 (30min)

Pause

Hall Sciences

16:00 - 17:30 (1h30)

Prix de Thèse

17:30 - 19:00 (1h30)

Atelier préparation concours

Salle 4 Palassou

Programme