|
|
|
Programme
 |
mardi 17 juin 2025 |
|
09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
18:00
19:00
|
9:00 - 10:15 (1h15)
Conférences invitées
 Amphi A
Franck Barbier
› Économie de la Programmation et du Logiciel
- Franck Barbier, Laboratoire Informatique de l'Université de Pau et des Pays de l'Adour
09:00-10:15 (1h15)
10:15 - 10:30 (15min)
Poster Teasers
Amphi A
›10:30 (30min)
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
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
- Philémon Houdaille, 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
Romain Robbes
› Présentation du projet WestOps
- Paul Temple, Institut de Recherche en Informatique et Systèmes Aléatoires
14:00-14:22 (22min)
› Présentation du projet AdaptiveMLOps
- Christelle Urtado, IMT - MINES ALES
14:23-14:45 (22min)
› Présentation du projet PROFIL
- Nicolas Lacroix, Scalable and Pervasive softwARe and Knowledge Systems
14:45-15:07 (22min)
› Présentation du projet FATES-MLOps
- Jean-Michel Bruel, Smart Modeling for softw@re Research and Technology
15:08-15:30 (22min)
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
- David Doose, 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
Amphi A
› Prix de thèse
- Pascal Poizat, LIP6
16:00-17:30 (1h30)
17:30 - 19:00 (1h30)
Atelier préparation concours
Salle 4 Palassou
|
| Session | Discours | Logistique | Pause | Sortie |
