lundi 14 juin 2021
| Heures | événement | (+) |
| 08:30 - 09:00 | Accueil des participants (Espace d'interaction et de convivialité) | |
| 09:00 - 11:00 | Exposés invités (Salle Principale ) - Président de session : Jean-Michel Bruel | (+) |
| 09:00 - 10:30 | › Réparation Automatique des Logiciels: le Rêve et la Fantaisie - Tegawandé BISSYANDE, Interdisciplinary Centre for Security, Reliability and Trust [Luxembourg] | |
| 11:00 - 12:00 | Nouvelles du CNRS (Salle Principale ) - Adeline NAZARENKO | |
| 12:00 - 13:30 | Déjeuner (Espace d'interaction et de convivialité) | |
| 13:30 - 15:30 | Session GT GLIA (Salle Principale ) - David Delahaye et Anne Etien | (+) |
| 13:30 - 14:00 | › Bug or not bug? That is the question. - Quentin Perez, EuroMov - Digital Health in Motion | |
| 14:00 - 14:30 | › Transfer learning of Kernel configuration performance across Linux versions - Hugo Martin, Institut de Recherche en Informatique et Systèmes Aléatoires | |
| 14:30 - 15:00 | › Planification automatique des reconfigurations des systèmes distribués - Simon Robillard, IMT Atlantique Bretagne-Pays de la Loire | |
| 15:00 - 15:30 | › 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:30 - 16:00 | Pause café (Espace d'interaction et de convivialité) | |
| 16:00 - 17:30 | EJCP (Salle EJCP) - Programme |
mardi 15 juin 2021
| Heures | événement | (+) |
| 08:30 - 09:00 | Pause café (Espace d'interaction et de convivialité) | |
| 09:00 - 11:00 | Prix de Thèse du GDR GPL (Salle Principale ) - Président.e.s de séance : Pascale Legall et Pascal Poizat | (+) |
| 09:05 - 09:50 | › Procédures de décision pour l'analyse de vulnérabilités - Benjamin Farinier - CEA LIST | |
| 09:50 - 10:20 | › EMI: Une approche pour unifier l'analyse et l'exécution embarquée à l'aide d'un interpréteur de modèles pilotable - Valentin Besnard - ESEO-Tech | |
| 10:20 - 10:50 | › Sémantique Mécanisée et Compilation Vérifiée pour un Langage Synchrone à Flots de Données avec Réinitialisation - Lélio Brun - Ecole Normale Supérieure Paris-Saclay | |
| 11:00 - 12:00 | AG du GDR GPL (Salle Principale ) | |
| 12:00 - 13:30 | Déjeuner (Espace d'interaction et de convivialité) | |
| 13:30 - 15:30 | Session GT Secu-GL (Salle 1) - Salah Sadou, Nicole Levy et Isabelle Borne | (+) |
| 13:30 - 14:10 | › Présentation DU GT Secu-GL - Salah Sadou, Institut de Recherche en Informatique et Systèmes Aléatoires | |
| 14:10 - 14:40 | › 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:40 - 15:10 | › RAICC: Revealing Atypical Inter-Component Communication in Android Apps - Jordan Samhi, Université du Luxembourg | |
| 15:10 - 15:30 | › 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 | |
| 13:30 - 15:30 | Session GT Debugging (Salle 2) | (+) |
| 13:30 - 14:00 | › Présentation du GT debugging - Steven Costiou - CRIStAL, Benoit Combemale - Diverse | |
| 14:00 - 14:30 | › Monilogging for Executable DSLs - Dorian Leroy, Diverse | |
| 14:30 - 15:00 | › Sub-method, partial behavioral reflection with Reflectivity - Marcus Denker, CRIStAL | |
| 15:00 - 15:30 | › GT debugging: table ronde - Steven Costiou - CRIStAL, Benoit Combemale - Diverse | |
| 13:30 - 15:30 | Session GT Yoda (Salle 3) | (+) |
| 13:30 - 13:45 | › 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:45 - 14:20 | › Online Testing of Dynamic Reconfigurations w.r.t. Adaptation Policies - Olga Kouchnarenko - FEMTO-ST Institute | |
| 14:20 - 14:55 | › CoSim20: un environnement pour la simulation collaborative et distribuée - Julien Deantoni, Laboratoire dÍnformatique, Signaux, et Systèmes de Sophia Antipolis | |
| 14:55 - 15:30 | › 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 | |
| 15:30 - 16:00 | Pause café (Espace d'interaction et de convivialité) | |
| 16:00 - 17:30 | EJCP (Salle EJCP) - Programme |
mercredi 16 juin 2021
| Heures | événement | (+) |
| 08:30 - 09:00 | Pause café (Espace d'interaction et de convivialité) | |
| 09:00 - 11:00 | Exposés invités (Salle Principale ) - Oratrice : Patricia Bouyer-Decitre - Présidente Session : Catherine Dubois | (+) |
| 09:00 - 10:30 | › De l'analyse automatique de systèmes temporisés au contrôle de systèmes dynamiques - Patricia Bouyer-Decitre, Laboratoire Méthodes Formelles | |
| 11:00 - 12:00 | Session posters et démos (Salle des Posters) |
|
| 12:00 - 13:30 | Déjeuner (Espace d'interaction et de convivialité) | |
| 13:30 - 15:30 | Session GT Logiciel Éco-Responsable (Salle 2) - Programme : présentation, talks, table ronde | (+) |
| 13:30 - 14:00 | › Présentation et activités du GT - Adel Noureddine, LIUPPA | |
| 14:00 - 14:20 | › Green Is the New Clean - Olivier Le Goaer, LIUPPA | |
| 14:30 - 14:50 | › Retour d'expérience sur l'enseignement du Green IT - Adel Noureddine, LIUPPA | |
| 14:50 - 15:30 | › Table ronde - Adel Noureddine, LIUPPA | |
| 13:30 - 15:30 |
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. |
(+) |
| 13:30 - 14:00 | › Pas de Pannes, Pas d'Exploits: Vérification Automatique de Noyaux Embarqués - Sébastien Bardin, CEA LIST | |
| 14:00 - 14:30 | › Modèle de fuite structurée & applications à la compilation sécurisée - Vincent Laporte | |
| 14:30 - 15:00 | › Un prouveur automatique pour la géométrie projective et son intégration à Coq - Nicolas Magaud | |
| 15:00 - 15:30 | › Unsolvability of the Quintic Formalized in Dependent Type Theory - Cyril Cohen | |
| 13:30 - 15:30 | AFSEC (Salle 3) - Mehdi Lhommeau, Loïg Jezequel | (+) |
| 13:30 - 14:10 | › 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 | |
| 14:10 - 14:50 | › SMT-Based Bounded Model Checking of Max-Plus Linear Systems - Muhammad Syifa'ul Mufid, Institut Teknologi Sepuluh Nopember Surabaya | |
| 14:50 - 15:30 | › DEPS : A language for modeling and solving system synthesis problem - Pierre-Alain Yvars, Laboratoire QUARTZ - Laurent Zimmer, Dassault Aviation | |
| 15:30 - 16:00 | Pause café (Espace d'interaction et de convivialité) | |
| 16:00 - 17:30 | EJCP (Salle EJCP) - Programme |
jeudi 17 juin 2021
| Heures | événement | (+) |
| 08:30 - 09:00 | Pause café (Espace d'interaction et de convivialité) | |
| 09:00 - 11:00 | Atelier "Préparer votre dossier de Candidature" (Salle 3) - Laurence Duchien et Sandrine Blazy | (+) |
| 09:00 - 11:00 | › 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:30 |
AFADL (Salle 1) - Session 2 Président de session : Yves Ledru Programme sur le site AFADL |
|
| 09:00 - 11:30 | CIEL (Salle 2) - Site de Ciel; Présidente de session : Anne Etien | |
| 11:30 - 13:30 | Pause café (Espace d'interaction et de convivialité) | |
| 13:30 - 15:30 |
AFADL et GT MTV2 (Salle 1) - Session GT MTV2 Voir le site d'AFADL pour accéder à l'ensemble des actes. |
(+) |
| 13:30 - 14:00 | › Binsec/Rel : Exécution Symbolique Relationnelle Efficace pour Analyse de Binaire Constant-Time - Lesly-Ann Daniel, CEA LIST | |
| 14:00 - 14:25 | › Binary-level Directed Fuzzing for Use-After-Free Vulnerabilities - Manh-Dung Nguyen - CEA LIST | |
| 14:25 - 14:50 | › Détection d'objectifs de test polluants pour les critères de flot de données - Thibault Martin, CEA LIST | |
| 14:50 - 15:20 | › 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) | |
| 13:30 - 15:30 | Session GT CLAP et HIFI (Salle 2) - - E. Saillard - S. Conchon - A. Hurault - L. Henrio - K. Martin | (+) |
| 13:30 - 14:10 | › Sound Semantic Static Analysis for Multiple Languages in the MOPSA Project - Antoine Miné, Laboratoire dÍnformatique de Paris 6 | |
| 14:10 - 14:50 | › Verification of FIFO systems - Etienne Lozes, Laboratoire dÍnformatique, Signaux, et Systèmes de Sophia Antipolis | |
| 14:50 - 15:30 | › Model-Bounded Monitoring of Hybrid Systems - Etienne André, Laboratoire Lorrain de Recherche en Informatique et ses Applications | |
| 13:30 - 15:30 | Session GT IDM (Salle 3) - Sophie Ebersold - Eric CARIOU | (+) |
| 13:30 - 14:15 | › L'IDM a 20 ans ! - Jean-Michel Bruel, Institut de recherche en informatique de Toulouse | |
| 14:15 - 14:45 | › CoSim20: un environnement pour la simulation collaborative et distribuée - Julien Deantoni, Laboratoire dÍnformatique, Signaux, et Systèmes de Sophia Antipolis | |
| 14:45 - 15:15 | › 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 | |
| 15:15 - 15:30 | › 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:30 - 16:00 | Pause café (Espace d'interaction et de convivialité) | |
| 16:00 - 17:30 | EJCP (Salle EJCP) - Programme |
vendredi 18 juin 2021
| Heures | événement | (+) |
| 08:30 - 09:00 | Pause café (Espace d'interaction et de convivialité) | |
| 09:00 - 11:30 |
AFADL (Salle 1) - Session 4 Présidente de session : Sandrine Blazy Programme sur le site AFADL |
|
| 09:00 - 11:30 | CIEL (Salle 2) - Site de Ciel Présidente de session : Anne Etien | |
| 11:30 - 13:30 | Déjeuner (Espace d'interaction et de convivialité) | |
| 13:30 - 15:30 | Session GT IE (Salle 2) - Régine Laleau - Thomas Polacsek | (+) |
| 13:30 - 14:00 | › Un survey sur les méthodes formelles en IE - Sophie Ebersold, Institut de recherche en informatique de Toulouse | |
| 14:00 - 14:30 | › Panorama sur les exigences de sécurité - Ludovic Apvrille, Telecom Paris | |
| 14:30 - 15:00 | › 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 | |
| 13:30 - 15:30 | Session GT VL (Salle 3) | (+) |
| 13:30 - 14:00 | › An approach and benchmark to detect behavioral changes of commits in continuous integration - Benjamin Danglot, Davidson | |
| 14:00 - 14:30 | › Deep Software Variability: Towards Handling Cross-Layer Configuration - Luc Lesoil, Institut de Recherche en Informatique et Systèmes Aléatoires | |
| 14:30 - 15:00 | › Expanding the Number of Reviewers in Open-Source Projects by Recommending Appropriate Developers - Aleksandr Chueshev, LIP6 | |
| 15:00 - 15:30 | › Empirical Study of Restarted and Flaky Builds on Travis CI - Thomas Durieux, CASTOR | CASTOR - Software Research Centre - KTH | |
| 13:30 - 15:30 |
AFADL (Salle 1) - Session 5 Président de session : David Monniaux Programme sur le site AFADL |
|
| 15:30 - 16:00 | Pause café (Espace d'interaction et de convivialité) | |
| 16:00 - 17:30 | EJCP (Salle EJCP) - Programme |
