09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
18:00
19:00
20:00
21:00
22:00
12:00 - 13:45 (1h45)
Accueil et déjeuner
13:45 - 14:00 (15min)
Ouverture des journées
GAM - Grand Amphi de Math
Direction GDR
14:00 - 15:00 (1h)
GT IDM
GAM - Grand Amphi de Math
Sophie Ebersold et Eric Cariou
› Automated co-evolution of metamodels and code
-
14:00-14:20 (20min)
› Langages de modélisation auto-adaptables : Opportunités et Challenges
-
14:20-14:40 (20min)
› Domain Specific Language Specialisation
-
14:40-15:00 (20min)
14:00 - 15:00 (1h)
GT Debugging
PAM - Petit amphi de math
Valentin Bourcier, Steven Costiou, Benoit Combemale
› Testing Framework for scientific computing : proposing new software testing approaches for reliable computationally intensive software systems
- Ewen Brune, Inria
14:10-14:30 (20min)
› Scopeo: an object-centric debugging approach for exploring object-oriented programs
- Valentin Bourcier, INRIA
14:30-14:50 (20min)
› Debugging Activity Blueprint: vizualisations to understand how developers debug
- Alexandre Bergel, RelationalAI
14:50-15:00 (10min)
15:00 - 16:00 (1h)
GT IDM
Sophie Ebersold et Eric Cariou
› Engineering Digital Twin
- Benoit Combemale, Diverse
15:00-15:30 (30min)
› Jumeau numérique : une opportunité pour le GDR/GPL - Enquête sur la réalisation des JN
- Antoine Beugnard, Département Informatique, Lab-STICC
15:30-16:00 (30min)
15:00 - 16:00 (1h)
GT Debugging
Valentin Bourcier, Steven Costiou, Benoit Combemale
› Object-Centric Debugging
- Steven Costiou, inria
15:10-15:30 (20min)
› Un protocole à Meta-Object pour l'implémentation de debuggers centrés objets
- Rémi Dufloer, inria
15:30-16:00 (30min)
16:00 - 16:30 (30min)
Pause
16:30 - 17:30 (1h)
Europe needs strong software research
GAM - Grand Amphi de Math
Jean-Michel Bruel
16:35 - 17:00 (25min)
Appels Européens & GL
GAM - Grand Amphi de Math
Smail Niar (INS2I)
17:00 - 17:20 (20min)
Informatics Europe : réseau européen de recherche & enseignement
GAM - Grand Amphi de Math
Jean-Marc Jezequel (Président d'Informatics Europe)
18:00 - 20:00 (2h)
Cocktail de bienvenue aux Hospices de Strasbourg
Cave Historique des Hospices de Strasbourg.
Avec dégustation et en-cas.
100 places maximum.
9:00 - 10:15 (1h15)
Planetary Limits, Anti-Limits in Computer Systems And The Missing Scenarios
GAM - Grand Amphi de Math
Florence Maraninchi
https://gdrgpl2024.sciencesconf.org/data/program/Maraninchi_2.pdf 9:00 - 10:15 (1h15)
Conférences invitées
GAM - Grand Amphi de Math
Florence Maraninchi : Planetary Limits, Anti-Limits in Computer Systems And The Missing Scenarios
› Planetary Limits, Anti-Limits in Computer Systems And The Missing Scenarios
- Florence Maraninchi, VERIMAG
09:00-10:15 (1h15)
10:15 - 10:45 (30min)
Pause
10:45 - 12:15 (1h30)
GT GLIA
GAM - Grand Amphi de Math
› A Performance Study of LLM-Generated Code on Leetcode
- Tristan Coignion, Inria Lille - Nord Europe
10:45-11:03 (18min)
› Options Matter: Documenting and Fixing Non-Reproducible Builds in Highly-Configurable Systems
- Georges Aaron Randrianaina, Univ Rennes, IRISA
11:03-11:21 (18min)
› Code stylometry vs formatting and minification
- Stefano Balla, Alma Mater Studiorum Università di Bologna = University of Bologna
11:21-11:39 (18min)
› IA et métier, séparation des préoccupations au cœur du logiciel
- Sylvain Lejambe, Université Savoie Mont Blanc
11:39-11:57 (18min)
› Défi Inria LLM4Code
- Mathieu Acher, Institut de Recherche en Informatique et Systèmes Aléatoires, Diversity-centric Software Engineering
11:57-12:15 (18min)
12:15 - 14:00 (1h45)
Déjeuner
14:00 - 16:00 (2h)
GT IE
GAM - Grand Amphi de Math
Régine Laleau et Thomas Polacsek
› Présentation de l'outil Maat Re
- Patrick Tessier, CEA-LIST
14:00-14:30 (30min)
› L'ingénierie des exigences et les hypothèses : de la construction incrémentale aux approches guidées par les données
- Thomas Lambolais, EuroMov - Digital Health in Motion
14:30-15:00 (30min)
› Exploration des relations entre les buts pour la conception d'une chaîne d'assemblage de satellites
- Anouk Chan, ONERA, Université de Toulouse [Toulouse] - Thomas Polacsek, ONERA, Université de Toulouse [Toulouse]
15:00-15:30 (30min)
14:00 - 15:00 (1h)
GT GLIA
PAM - Petit amphi de math
› CNNGen & Towards Feature-based ML-enabled Behaviour Location
- Paul TEMPLE, LANGAGE ET GÉNIE LOGICIEL
14:00-14:20 (20min)
› Apprentissage automatique pour l'amélioration de la vérification formelle de code
- Maykel Mattar, Laboratoire de Sûreté et de sécurité des Logiciels, Institut de Recherche en Informatique et Systèmes Aléatoires
14:20-14:40 (20min)
› Modelling for citizens with citizens. Building accessible and reliable software for agent-based modelling
- Oleksandr Zaitsev, Savoirs, ENvironnement et Sociétés, Département Environnements et Sociétés
14:40-15:00 (20min)
15:00 - 16:00 (1h)
GT VL
PAM - Petit amphi de math
› Polyglot programming: static analysis and test
- Philémon Houdaille
15:00-15:20 (20min)
› Lightweight Syntactic API Usage Analysis with UCov
- Gustave Monce, Laboratoire Bordelais de Recherche en Informatique
15:20-15:40 (20min)
› A manual categorization of new quality issues on automatically-generated tests
- Nicolas Anquetil, Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
15:40-16:00 (20min)
16:00 - 16:30 (30min)
Pause
16:30 - 17:30 (1h)
Prix de thèse
GAM - Grand Amphi de Math
Pascal Poizat
17:30 - 19:00 (1h30)
Préparation des concours
Salle C02
Atelier
17:30 - 19:00 (1h30)
Atelier Préparation des concours
Paul Temple
9:00 - 10:15 (1h15)
Deep Software Variability and Frictionless Reproducibility
GAM - Grand Amphi de Math
Mathieu Acher
9:00 - 10:15 (1h15)
Conférences invitées
GAM - Grand Amphi de Math
Mathieu Acher - Deep Software Variability and Frictionless Reproducibility
› Deep Software Variability and Frictionless Reproducibility
- Mathieu Acher, Diversity-centric Software Engineering
09:00-10:15 (1h15)
10:15 - 10:45 (30min)
Pause
10:45 - 12:15 (1h30)
GT GLSec
GAM - Grand Amphi de Math
› Apprentissage automatique pour l'amélioration de la vérification formelle de code
- Maykel Mattar, Laboratoire de Sûreté et de sécurité des Logiciels, Institut de Recherche en Informatique et Systèmes Aléatoires
10:45-11:15 (30min)
› Formally verified hardening of C programs against fault injection
- Basile Pesin, VERIMAG
11:15-11:45 (30min)
› Un métamodèle outillé pour assister l'ingénierie logicielle dans la protection de la vie privée des utilisateurs
- Selena Lamari, Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, Laboratoire de Recherche pour le Developpement des Systemes Informatises [Blida]
11:45-12:15 (30min)
10:45 - 12:15 (1h30)
GT Logiciel Éco-Responsable
PAM - Petit amphi de math
› Software Frugality in an Accelerating World: the Case of CI/CD
- Quentin Perez, INSA Rennes
10:45-11:15 (30min)
› Understanding the Performance-Energy Tradeoffs of Object-Relational Mapping Frameworks
- Alexandre Bonvoisin, Inria
11:15-11:45 (30min)
› Rapport d'activité et bilan 2023-2024 du GT Logiciel Eco-Responsable
- Florence Maraninchi, Université de Grenoble
11:45-12:15 (30min)
12:15 - 14:00 (1h45)
Déjeuner
14:00 - 15:00 (1h)
GT Yoda & CLAP
GAM - Grand Amphi de Math
› Fast Choreography of Cross-DevOps Reconfiguration with Ballet
- Jolan Philippe, IMT Atlantique
14:00-14:30 (30min)
› Génération automatique de code haute performance prévisible: de l'algèbre des tableaux au code vectorisé et multicoeur
- Gaétan Hains, Université Paris Est Créteil
14:30-15:00 (30min)
14:00 - 15:00 (1h)
AFADL
PAM - Petit amphi de math
Sophie Ebersold et Idir Ait Sadoune
› Valider un système composé de modèles indépendants
- Jean-Pierre Jacquot, LORIA
14:00-14:30 (30min)
› Combiner la Vérification Déductive avec l'analyse de forme
- Téo Bernier, Yani Ziani, Nikolai Kosmatov and Frédéric Loulergue, Université d'Orleans - Thales Research & Technology
14:30-15:00 (30min)
15:00 - 16:00 (1h)
GT LVP - AFADL
PAM - Petit amphi de math
Nicolas Magaud et Julien Signoles
› Guided Equality Saturation
- Thomas Koehler, Andrés Goens, Siddharth Bhat, Tobias Grosser, Phil Trinder and Michel Steuwer, Inria, ICube lab - Université de Strasbourg - CNRS
15:00-15:20 (20min)
› Amélioration des raisonneurs du langage B avec des techniques SAT et SMT
-
15:20-15:40 (20min)
› Mieux automatiser la vérification déductive avec des stratégies de preuve dans Frama-C/WP
- Loïc Correnson, Allan Blanchard, Adel Djoudi and Nikolai Kosmatov, CEA List, Thales Research & Technology
15:40-16:00 (20min)
16:00 - 16:30 (30min)
Pause
16:30 - 17:30 (1h)
GT MTV2 - AFADL
GAM - Grand Amphi de Math
› Guiding Symbolic Execution with A-star
-
16:30-16:55 (25min)
› Sécurisation de services via des techniques de healing et d'encapsulations
-
16:55-17:15 (20min)
› Le projet TAGAda: Tests Automatiquement Générés pour Ada
-
17:15-17:30 (15min)
17:30 - 19:00 (1h30)
AG du GDR
GAM - Grand Amphi de Math
19:30 - 22:00 (2h30)
Gala @ Art Café
Terrasse du Musée d'Art Moderne
9:00 - 10:15 (1h15)
The How and Why of Higher-Order SMT for Prospective Users
GAM - Grand Amphi de Math
Sophie Tourret
9:00 - 10:15 (1h15)
Conférences invitées
GAM - Grand Amphi de Math
Sophie Tourret - The How and Why of Higher-Order SMT for Prospective Users
› The How and Why of Higher-Order SMT for Prospective Users
- Sophie Tourret, Max-Planck-Institut für Informatik, Laboratoire Lorrain de Recherche en Informatique et ses Applications
09:00-10:15 (1h15)
10:15 - 10:45 (30min)
Pause
10:45 - 12:15 (1h30)
AFADL
GAM - Grand Amphi de Math
Sophie Ebersold et Idir Ait Sadoune
› Compilation avec l'interprétation abstraite
- Dorian Lesbre and Matthieu Lemerre, Université Paris-Saclay, CEA List
10:45-11:15 (30min)
› Approche Dirigée par les Modèles pour la Sécurité Auto-adaptative des Systèmes Cyber-physiques
- Salim Chehida, Eric Rutten, Guillaume Giraud and Stéphane Mocanu, Univ. Grenoble Alpes, INRIA, RTE
11:15-11:45 (30min)
› Utilisation conjointe de SysML et Reo en vue de modeliser et de valider les CPS
- Perla Tannoury and Ahmed Hammad, FEMTO-ST Institute / University of Bourgogne Franche-Comté (UBFC)
11:45-12:15 (30min)
12:15 - 14:00 (1h45)
Déjeuner
14:00 - 15:00 (1h)
AFADL
GAM - Grand Amphi de Math
Sophie Ebersold et Idir Ait Sadoune
› Model-Based Fuzz Testing for GNSS Receiver
- Nina Haag, Daniel Prun and Antoine Blais, Fédération ENAC ISAE-SUPAERO ONERA, Université de Toulouse, France & Collins Aerospace
14:00-14:20 (20min)
› Implémentation des Bigraphes dans Coq
- Cécile Marcon, Xavier Thirioux, Celia Picard and Cyril Allignol, ISAE SupAero, ENAC
14:20-14:40 (20min)
› Spécification et Vérification de propriétés Typestates avec Frama-C
-
14:40-15:00 (20min)
15:00 - 16:00 (1h)
Posters et Démos
Salle C03
› Qontextium : estimation du degré de contextualité de configurations quantiques
- Axel Muller, Université de Franche-Comté
15:00-15:15 (15min)
› TAGAda
- Delphine Longuet, Thales Research & Technology
15:15-15:30 (15min)
› Un outil pour la manipulation d'hamiltoniens ... et de comptage des couplages parfaits
- Mathieu Nguyen, Laboratoire Méthodes Formelles, Institut de Recherche en Informatique Fondamentale
15:30-15:45 (15min)
› Clôture des journées
- Catherine Dubois, Ecole Nationale Supérieure dÍnformatique pour lÍndustrie et lÉntreprise
15:45-16:00 (15min)
16:00 - 16:30 (30min)
Pause
