Journées du GDR GPL 2021 - Sciencesconf.org

Lun. 14

Mar. 15

Mer. 16

Jeu. 17

Ven. 18

08:00

09:00

10:00

11:00

12:00

13:00

14:00

15:00

16:00

17:00

Accueil des participants

8:30 - 9:00 (30min)

Accueil des participants

Espace d'interaction et de convivialité

Exposés invités

9:00 - 11:00 (2h)

Exposés invités

Salle Principale

Président de session : Jean-Michel Bruel

› Réparation Automatique des Logiciels: le Rêve et la Fantaisie - Tegawandé BISSYANDE, Interdisciplinary Centre for Security, Reliability and Trust [Luxembourg] 09:00-10:30 (1h30)

Nouvelles du CNRS

11:00 - 12:00 (1h)

Nouvelles du CNRS

Salle Principale

Adeline NAZARENKO

Déjeuner

12:00 - 13:30 (1h30)

Déjeuner

Espace d'interaction et de convivialité

Session GT GLIA

13:30 - 15:30 (2h)

Session GT GLIA

Salle Principale

David Delahaye et Anne Etien

› Bug or not bug? That is the question. - Quentin Perez, EuroMov - Digital Health in Motion 13:30-14:00 (30min)

› Transfer learning of Kernel configuration performance across Linux versions - Hugo Martin, Institut de Recherche en Informatique et Systèmes Aléatoires 14:00-14:30 (30min)

› Planification automatique des reconfigurations des systèmes distribués - Simon Robillard, IMT Atlantique Bretagne-Pays de la Loire 14:30-15:00 (30min)

› Wise Object - Ilham Alloui, Laboratoire dÍnformatique, Systèmes, Traitement de lÍnformation et de la Connaissance - Flavien Vernier, Laboratoire dÍnformatique, Systèmes, Traitement de lÍnformation et de la Connaissance 15:00-15:30 (30min)

Pause café

15:30 - 16:00 (30min)

Pause café

Espace d'interaction et de convivialité

EJCP

16:00 - 17:30 (1h30)

EJCP

Salle EJCP

Programme

Pause café

8:30 - 9:00 (30min)

Pause café

Espace d'interaction et de convivialité

Prix de Thèse du GDR GPL

9:00 - 11:00 (2h)

Prix de Thèse du GDR GPL

Salle Principale

Président.e.s de séance : Pascale Legall et Pascal Poizat

› Procédures de décision pour l'analyse de vulnérabilités - 09:05-09:50 (45min)

› EMI: Une approche pour unifier l'analyse et l'exécution embarquée à l'aide d'un interpréteur de modèles pilotable - 09:50-10:20 (30min)

› Sémantique Mécanisée et Compilation Vérifiée pour un Langage Synchrone à Flots de Données avec Réinitialisation - 10:20-10:50 (30min)

AG du GDR GPL

11:00 - 12:00 (1h)

AG du GDR GPL

Salle Principale

Déjeuner

12:00 - 13:30 (1h30)

Déjeuner

Espace d'interaction et de convivialité

Session GT Secu-GL
Session GT Debugging
Session GT Yoda

13:30 - 15:30 (2h)

Session GT Secu-GL

Salle 1

Salah Sadou, Nicole Levy et Isabelle Borne

› Présentation DU GT Secu-GL - Salah Sadou, Institut de Recherche en Informatique et Systèmes Aléatoires 13:30-14:10 (40min)

› Identification automatique des vulnérabilités de sécurité dans les systèmes logiciels - Raounak Benabidallah, Institut de Recherche en Informatique et Systèmes Aléatoires 14:10-14:40 (30min)

› RAICC: Revealing Atypical Inter-Component Communication in Android Apps - Jordan Samhi, Université du Luxembourg 14:40-15:10 (30min)

› Discussion sur l'organisation et les actions du GT Secu-GL - Salah Sadou, Institut de Recherche en Informatique et Systèmes Aléatoires, Institut de Recherche en Informatique et Systèmes Aléatoires 15:10-15:30 (20min)

13:30 - 15:30 (2h)

Session GT Debugging

Salle 2

› Présentation du GT debugging - 13:30-14:00 (30min)

› Monilogging for Executable DSLs - Dorian Leroy, Diverse 14:00-14:30 (30min)

› Sub-method, partial behavioral reflection with Reflectivity - Marcus Denker, CRIStAL 14:30-15:00 (30min)

› GT debugging: table ronde - 15:00-15:30 (30min)

13:30 - 15:30 (2h)

Session GT Yoda

Salle 3

› Presentation of GT Yoda - Rabéa Ameur-Boulifa, Télécom Paris - Simon Bliudze, INRIA Lille - Nord Europe, Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 - Hélène Coullon, IMT Atlantique Bretagne-Pays de Loire 13:30-13:45 (15min)

› Online Testing of Dynamic Reconfigurations w.r.t. Adaptation Policies - 13:45-14:20 (35min)

› CoSim20: un environnement pour la simulation collaborative et distribuée - Julien Deantoni, Laboratoire dÍnformatique, Signaux, et Systèmes de Sophia Antipolis 14:20-14:55 (35min)

› On Reducing the Energy Consumption of Software Product Lines - Édouard Guegain, Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189, Inria Lille - Nord Europe - Clément Quinton, Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189, Inria Lille - Nord Europe 14:55-15:30 (35min)

Pause café

15:30 - 16:00 (30min)

Pause café

Espace d'interaction et de convivialité

EJCP

16:00 - 17:30 (1h30)

EJCP

Salle EJCP

Programme

Pause café

8:30 - 9:00 (30min)

Pause café

Espace d'interaction et de convivialité

Exposés invités

9:00 - 11:00 (2h)

Exposés invités

Salle Principale

Oratrice : Patricia Bouyer-Decitre - Présidente Session : Catherine Dubois

› De l'analyse automatique de systèmes temporisés au contrôle de systèmes dynamiques - Patricia Bouyer-Decitre, Laboratoire Méthodes Formelles 09:00-10:30 (1h30)

Session posters et démos

11:00 - 12:00 (1h)

Session posters et démos

Salle des Posters

https://gdr-gpl-2021.sciencesconf.org/data/program/ProgrammePosters_1.pdf

Déjeuner

12:00 - 13:30 (1h30)

Déjeuner

Espace d'interaction et de convivialité

Session GT Logiciel Éco-Responsable
AFADL et GT LVP
AFSEC

13:30 - 15:30 (2h)

Session GT Logiciel Éco-Responsable

Salle 2

Programme : présentation, talks, table ronde

› Présentation et activités du GT - Adel Noureddine, LIUPPA 13:30-14:00 (30min)

› Green Is the New Clean - Olivier Le Goaer, LIUPPA 14:00-14:20 (20min)

› Retour d'expérience sur l'enseignement du Green IT - Adel Noureddine, LIUPPA 14:30-14:50 (20min)

› Table ronde - Adel Noureddine, LIUPPA 14:50-15:30 (40min)

13:30 - 15:30 (2h)

AFADL et GT LVP

Salle 1

Session GT LVP
Président de session : Julien Signoles.
Voir le site d'AFADL pour accéder à l'ensemble des actes.

› Pas de Pannes, Pas d'Exploits: Vérification Automatique de Noyaux Embarqués - Sébastien Bardin, CEA LIST 13:30-14:00 (30min)

› Modèle de fuite structurée & applications à la compilation sécurisée - Vincent Laporte 14:00-14:30 (30min)

› Un prouveur automatique pour la géométrie projective et son intégration à Coq - Nicolas Magaud 14:30-15:00 (30min)

› Unsolvability of the Quintic Formalized in Dependent Type Theory - Cyril Cohen 15:00-15:30 (30min)

13:30 - 15:30 (2h)

AFSEC

Salle 3

Mehdi Lhommeau, Loïg Jezequel

› Une approche polyédrique pour la vérification SMT de réseaux de Petri - Nicolas Amat, Laboratoire dánalyse et dárchitecture des systèmes 13:30-14:10 (40min)

› SMT-Based Bounded Model Checking of Max-Plus Linear Systems - Muhammad Syifa'ul Mufid, Institut Teknologi Sepuluh Nopember Surabaya 14:10-14:50 (40min)

› DEPS : A language for modeling and solving system synthesis problem - Pierre-Alain Yvars, Laboratoire QUARTZ - Laurent Zimmer, Dassault Aviation 14:50-15:30 (40min)

Pause café

15:30 - 16:00 (30min)

Pause café

Espace d'interaction et de convivialité

EJCP

16:00 - 17:30 (1h30)

EJCP

Salle EJCP

Programme

Pause café

8:30 - 9:00 (30min)

Pause café

Espace d'interaction et de convivialité

Atelier "Préparer votre dossier de Candidature"
AFADL
CIEL

9:00 - 11:00 (2h)

Atelier "Préparer votre dossier de Candidature"

Salle 3

Laurence Duchien et Sandrine Blazy

› Atelier pour les jeunes chercheurs de préparation aux concours CNRS - Sandrine Blazy, Institut de Recherche en Informatique et Systèmes Aléatoires 09:00-11:00 (2h)

9:00 - 11:30 (2h30)

AFADL

Salle 1

Session 2
Président de session : Yves Ledru
Programme sur le site AFADL

9:00 - 11:30 (2h30)

CIEL

Salle 2

Site de Ciel; Présidente de session : Anne Etien

Pause café

11:30 - 13:30 (2h)

Pause café

Espace d'interaction et de convivialité

AFADL et GT MTV2
Session GT CLAP et HIFI
Session GT IDM

13:30 - 15:30 (2h)

AFADL et GT MTV2

Salle 1

Session GT MTV2
Voir le site d'AFADL pour accéder à l'ensemble des actes.

› Binsec/Rel : Exécution Symbolique Relationnelle Efficace pour Analyse de Binaire Constant-Time - Lesly-Ann Daniel, CEA LIST 13:30-14:00 (30min)

› Binary-level Directed Fuzzing for Use-After-Free Vulnerabilities - 14:00-14:25 (25min)

› Détection d'objectifs de test polluants pour les critères de flot de données - Thibault Martin, CEA LIST 14:25-14:50 (25min)

› Identifying and Generating Missing Tests using Machine Learning on Execution Traces - Frédéric Tamagnan, Orange, Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) 14:50-15:20 (30min)

13:30 - 15:30 (2h)

Session GT CLAP et HIFI

Salle 2

- E. Saillard - S. Conchon - A. Hurault - L. Henrio - K. Martin

› Sound Semantic Static Analysis for Multiple Languages in the MOPSA Project - Antoine Miné, Laboratoire dÍnformatique de Paris 6 13:30-14:10 (40min)

› Verification of FIFO systems - Etienne Lozes, Laboratoire dÍnformatique, Signaux, et Systèmes de Sophia Antipolis 14:10-14:50 (40min)

› Model-Bounded Monitoring of Hybrid Systems - Etienne André, Laboratoire Lorrain de Recherche en Informatique et ses Applications 14:50-15:30 (40min)

13:30 - 15:30 (2h)

Session GT IDM

Salle 3

Sophie Ebersold - Eric CARIOU

› L'IDM a 20 ans ! - Jean-Michel Bruel, Institut de recherche en informatique de Toulouse 13:30-14:15 (45min)

› CoSim20: un environnement pour la simulation collaborative et distribuée - Julien Deantoni, Laboratoire dÍnformatique, Signaux, et Systèmes de Sophia Antipolis 14:15-14:45 (30min)

› L'Industrie du futur et le jumeau numérique, une opportunité pour l'IDM - Antoine BEUGNARD, IMT Atlantique Bretagne-Pays de la Loire - Joël Champeau, École Nationale Supérieure de Techniques Avancées Bretagne 14:45-15:15 (30min)

› Discussion sur le GT IDM - Eric Cariou, Laboratoire Informatique de lÚniversité de Pau et des Pays de lÁdour - Sophie Ebersold, Institut de recherche en informatique de Toulouse 15:15-15:30 (15min)

Pause café

15:30 - 16:00 (30min)

Pause café

Espace d'interaction et de convivialité

EJCP

16:00 - 17:30 (1h30)

EJCP

Salle EJCP

Programme

Pause café

8:30 - 9:00 (30min)

Pause café

Espace d'interaction et de convivialité

AFADL
CIEL

9:00 - 11:30 (2h30)

AFADL

Salle 1

Session 4
Présidente de session : Sandrine Blazy
Programme sur le site AFADL

9:00 - 11:30 (2h30)

CIEL

Salle 2

Site de Ciel Présidente de session : Anne Etien

Déjeuner

11:30 - 13:30 (2h)

Déjeuner

Espace d'interaction et de convivialité

Session GT IE
Session GT VL
AFADL

13:30 - 15:30 (2h)

Session GT IE

Salle 2

Régine Laleau - Thomas Polacsek

› Un survey sur les méthodes formelles en IE - Sophie Ebersold, Institut de recherche en informatique de Toulouse 13:30-14:00 (30min)

› Panorama sur les exigences de sécurité - Ludovic Apvrille, Telecom Paris 14:00-14:30 (30min)

› Une revue de littérature sur les recommandations pour la création de programmes d'éducation, d'entrainement et de sensibilisation à la sécurité informatique - Olivier de Casanove 14:30-15:00 (30min)

13:30 - 15:30 (2h)

Session GT VL

Salle 3

› An approach and benchmark to detect behavioral changes of commits in continuous integration - Benjamin Danglot, Davidson 13:30-14:00 (30min)

› Deep Software Variability: Towards Handling Cross-Layer Configuration - Luc Lesoil, Institut de Recherche en Informatique et Systèmes Aléatoires 14:00-14:30 (30min)

› Expanding the Number of Reviewers in Open-Source Projects by Recommending Appropriate Developers - Aleksandr Chueshev, LIP6 14:30-15:00 (30min)

› Empirical Study of Restarted and Flaky Builds on Travis CI - Thomas Durieux, CASTOR | CASTOR - Software Research Centre - KTH 15:00-15:30 (30min)

13:30 - 15:30 (2h)

AFADL

Salle 1

Session 5
Président de session : David Monniaux
Programme sur le site AFADL

Pause café

15:30 - 16:00 (30min)

Pause café

Espace d'interaction et de convivialité

EJCP

16:00 - 17:30 (1h30)

EJCP

Salle EJCP

Programme