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
›9:00 (1h15)
› GAM - Grand Amphi de Math
9:00 - 10:15 (1h15)
Deep Software Variability and Frictionless Reproducibility
GAM - Grand Amphi de Math
Mathieu Acher
https://gdrgpl2024.sciencesconf.org/data/program/FrictionlessReproducibilityDeepSoftwareVariability_GDRGPL24.pdf›9:00 (1h15)
› GAM - Grand Amphi de Math
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 (30min)
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 (1h45)
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 (30min)
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 (2h30)
19:30 - 22:00 (2h30)
Gala @ Art Café
Terrasse du Musée d'Art Moderne
