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