Journées du GDR GPL 2021

14-18 juin 2021 Virtuelle (France)

Programme

Semaine Lun. 14 Mar. 15 Mer. 16 Jeu. 17 Ven. 18 Liste

	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é invité 9:00 - 11:00 (2h) Exposé invité 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é invité 9:00 - 11:00 (2h) Exposé invité 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

Personnes connectées : 10

Vie privée

Chargement...