|
3-6 juin 2024 Strasbourg (France)
|
|
|
|
Programme
lundi 3 juin 2024
| Heures | événement | (+) |
| 12:00 - 13:45 | Accueil et déjeuner | |
| 13:45 - 14:00 | Ouverture des journées (GAM - Grand Amphi de Math) - Direction GDR | |
| 14:00 - 15:00 | GT IDM (GAM - Grand Amphi de Math) - Sophie Ebersold et Eric Cariou | (+) |
| 14:00 - 14:20 | › Automated co-evolution of metamodels and code - Zohra Kaouter Kebaili - Institut de Recherche en Informatique et Systèmes Aléatoires | |
| 14:20 - 14:40 | › Langages de modélisation auto-adaptables : Opportunités et Challenges - Gwendal Jouneaux - Université de Rennes 1 | |
| 14:40 - 15:00 | › Domain Specific Language Specialisation - Chiara Relevat - Institut de Recherche en Informatique et Systèmes Aléatoires | |
| 14:00 - 15:00 | GT Debugging (PAM - Petit amphi de math) - Valentin Bourcier, Steven Costiou, Benoit Combemale | (+) |
| 14:10 - 14:30 | › Testing Framework for scientific computing : proposing new software testing approaches for reliable computationally intensive software systems - Ewen Brune, Inria | |
| 14:30 - 14:50 | › Scopeo: an object-centric debugging approach for exploring object-oriented programs - Valentin Bourcier, INRIA | |
| 14:50 - 15:00 | › Debugging Activity Blueprint: vizualisations to understand how developers debug - Alexandre Bergel, RelationalAI | |
| 15:00 - 16:00 | GT IDM - Sophie Ebersold et Eric Cariou | (+) |
| 15:00 - 15:30 | › Engineering Digital Twin - Benoit Combemale, Diverse | |
| 15:30 - 16:00 | › 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:00 - 16:00 | GT Debugging - Valentin Bourcier, Steven Costiou, Benoit Combemale | (+) |
| 15:10 - 15:30 | › Object-Centric Debugging - Steven Costiou, inria | |
| 15:30 - 16:00 | › Un protocole à Meta-Object pour l'implémentation de debuggers centrés objets - Rémi Dufloer, inria | |
| 16:00 - 16:30 | Pause | |
| 16:30 - 17:30 | Europe needs strong software research (GAM - Grand Amphi de Math) - Jean-Michel Bruel | |
| 16:35 - 17:00 | Appels Européens & GL (GAM - Grand Amphi de Math) - Smail Niar (INS2I) | |
| 17:00 - 17:20 | 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 | Cocktail de bienvenue aux Hospices de Strasbourg - Cave Historique des Hospices de Strasbourg. Avec dégustation et en-cas. 100 places maximum. |
mardi 4 juin 2024
| Heures | événement | (+) |
| 09:00 - 10:15 | Planetary Limits, Anti-Limits in Computer Systems And The Missing Scenarios (GAM - Grand Amphi de Math) - Florence Maraninchi |
|
| 09:00 - 10:15 | Conférences invitées (GAM - Grand Amphi de Math) - Florence Maraninchi : Planetary Limits, Anti-Limits in Computer Systems And The Missing Scenarios | (+) |
| 09:00 - 10:15 | › Planetary Limits, Anti-Limits in Computer Systems And The Missing Scenarios - Florence Maraninchi, VERIMAG | |
| 10:15 - 10:45 | Pause | |
| 10:45 - 12:15 | GT GLIA (GAM - Grand Amphi de Math) | (+) |
| 10:45 - 11:03 | › A Performance Study of LLM-Generated Code on Leetcode - Tristan Coignion, Inria Lille - Nord Europe | |
| 11:03 - 11:21 | › Options Matter: Documenting and Fixing Non-Reproducible Builds in Highly-Configurable Systems - Georges Aaron Randrianaina, Univ Rennes, IRISA | |
| 11:21 - 11:39 | › Code stylometry vs formatting and minification - Stefano Balla, Alma Mater Studiorum Università di Bologna = University of Bologna | |
| 11:39 - 11:57 | › IA et métier, séparation des préoccupations au cœur du logiciel - Sylvain Lejambe, Université Savoie Mont Blanc | |
| 11:57 - 12:15 | › Défi Inria LLM4Code - Mathieu Acher, Institut de Recherche en Informatique et Systèmes Aléatoires, Diversity-centric Software Engineering | |
| 12:15 - 14:00 | Déjeuner | |
| 14:00 - 16:00 | GT IE (GAM - Grand Amphi de Math) - Régine Laleau et Thomas Polacsek | (+) |
| 14:00 - 14:30 | › Présentation de l'outil Maat Re - Patrick Tessier, CEA-LIST | |
| 14:30 - 15:00 | › 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 | |
| 15:00 - 15:30 | › 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] | |
| 14:00 - 15:00 | GT GLIA (PAM - Petit amphi de math) | (+) |
| 14:00 - 14:20 | › CNNGen & Towards Feature-based ML-enabled Behaviour Location - Paul TEMPLE, LANGAGE ET GÉNIE LOGICIEL | |
| 14:20 - 14:40 | › 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:40 - 15:00 | › 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 | |
| 15:00 - 16:00 | GT VL (PAM - Petit amphi de math) | (+) |
| 15:00 - 15:20 | › Polyglot programming: static analysis and test - Philémon Houdaille | |
| 15:20 - 15:40 | › Lightweight Syntactic API Usage Analysis with UCov - Gustave Monce, Laboratoire Bordelais de Recherche en Informatique | |
| 15:40 - 16:00 | › 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 | |
| 16:00 - 16:30 | Pause | |
| 16:30 - 17:30 | Prix de thèse (GAM - Grand Amphi de Math) - Pascal Poizat | |
| 17:30 - 19:00 | Préparation des concours (Salle C02) - Atelier |
|
| 17:30 - 19:00 | Atelier Préparation des concours - Paul Temple |
mercredi 5 juin 2024
| Heures | événement | (+) |
| 09:00 - 10:15 | Deep Software Variability and Frictionless Reproducibility (GAM - Grand Amphi de Math) - Mathieu Acher |
|
| 09:00 - 10:15 | Conférences invitées (GAM - Grand Amphi de Math) - Mathieu Acher - Deep Software Variability and Frictionless Reproducibility | (+) |
| 09:00 - 10:15 | › Deep Software Variability and Frictionless Reproducibility - Mathieu Acher, Diversity-centric Software Engineering | |
| 10:15 - 10:45 | Pause | |
| 10:45 - 12:15 | GT GLSec (GAM - Grand Amphi de Math) | (+) |
| 10:45 - 11:15 | › 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 | |
| 11:15 - 11:45 | › Formally verified hardening of C programs against fault injection - Basile Pesin, VERIMAG | |
| 11:45 - 12:15 | › 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] | |
| 10:45 - 12:15 | GT Logiciel Éco-Responsable (PAM - Petit amphi de math) | (+) |
| 10:45 - 11:15 | › Software Frugality in an Accelerating World: the Case of CI/CD - Quentin Perez, INSA Rennes | |
| 11:15 - 11:45 | › Understanding the Performance-Energy Tradeoffs of Object-Relational Mapping Frameworks - Alexandre Bonvoisin, Inria | |
| 11:45 - 12:15 | › Rapport d'activité et bilan 2023-2024 du GT Logiciel Eco-Responsable - Florence Maraninchi, Université de Grenoble | |
| 12:15 - 14:00 | Déjeuner | |
| 14:00 - 15:00 | GT Yoda & CLAP (GAM - Grand Amphi de Math) | (+) |
| 14:00 - 14:30 | › Fast Choreography of Cross-DevOps Reconfiguration with Ballet - Jolan Philippe, IMT Atlantique | |
| 14:30 - 15:00 | › 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:00 - 15:00 | AFADL (PAM - Petit amphi de math) - Sophie Ebersold et Idir Ait Sadoune | (+) |
| 14:00 - 14:30 | › Valider un système composé de modèles indépendants - Jean-Pierre Jacquot, LORIA | |
| 14:30 - 15:00 | › 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 | |
| 15:00 - 16:00 | GT LVP - AFADL (PAM - Petit amphi de math) - Nicolas Magaud et Julien Signoles | (+) |
| 15:00 - 15:20 | › 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:20 - 15:40 | › Amélioration des raisonneurs du langage B avec des techniques SAT et SMT - Vincent Trélat - Université de Lorraine, CNRS, Inria, LORIA | |
| 15:40 - 16:00 | › 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 | |
| 16:00 - 16:30 | Pause | |
| 16:30 - 17:30 | GT MTV2 - AFADL (GAM - Grand Amphi de Math) | (+) |
| 16:30 - 16:55 | › Guiding Symbolic Execution with A-star - Theo De Castro Pinto - Laboratoire Bordelais de Recherche en Informatique, SERMA Technologies | |
| 16:55 - 17:15 | › Sécurisation de services via des techniques de healing et d'encapsulations - Jarod Sue - Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes | |
| 17:15 - 17:30 | › Le projet TAGAda: Tests Automatiquement Générés pour Ada - Delphine Longuet - Thales Research & Technology | |
| 17:30 - 19:00 | AG du GDR (GAM - Grand Amphi de Math) |
|
| 19:30 - 22:00 | Gala @ Art Café - Terrasse du Musée d'Art Moderne |
jeudi 6 juin 2024
| Heures | événement | (+) |
| 09:00 - 10:15 | The How and Why of Higher-Order SMT for Prospective Users (GAM - Grand Amphi de Math) - Sophie Tourret |
|
| 09:00 - 10:15 | Conférences invitées (GAM - Grand Amphi de Math) - Sophie Tourret - The How and Why of Higher-Order SMT for Prospective Users | (+) |
| 09:00 - 10:15 | › 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 | |
| 10:15 - 10:45 | Pause | |
| 10:45 - 12:15 | AFADL (GAM - Grand Amphi de Math) - Sophie Ebersold et Idir Ait Sadoune | (+) |
| 10:45 - 11:15 | › Compilation avec l'interprétation abstraite - Dorian Lesbre and Matthieu Lemerre, Université Paris-Saclay, CEA List | |
| 11:15 - 11:45 | › 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:45 - 12:15 | › 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) | |
| 12:15 - 14:00 | Déjeuner | |
| 14:00 - 15:00 | AFADL (GAM - Grand Amphi de Math) - Sophie Ebersold et Idir Ait Sadoune | (+) |
| 14:00 - 14:20 | › 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:20 - 14:40 | › Implémentation des Bigraphes dans Coq - Cécile Marcon, Xavier Thirioux, Celia Picard and Cyril Allignol, ISAE SupAero, ENAC | |
| 14:40 - 15:00 | › Spécification et Vérification de propriétés Typestates avec Frama-C - Sebastien Patte - Université Paris-Saclay, CEA, List | |
| 15:00 - 16:00 | Posters et Démos (Salle C03) | (+) |
| 15:00 - 15:15 | › Qontextium : estimation du degré de contextualité de configurations quantiques - Axel Muller, Université de Franche-Comté | |
| 15:15 - 15:30 | › Démonstration des outils du projet TAGAda - Delphine Longuet, Thales Research & Technology | |
| 15:30 - 15:45 | › 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:45 - 16:00 | › Clôture des journées - Catherine Dubois, Ecole Nationale Supérieure dÍnformatique pour lÍndustrie et lÉntreprise | |
| 16:00 - 16:30 | Pause |
| Personnes connectées : 1 | Vie privée |
|
