Programme des Journées du GDR GPL 1012 juin 2015

Programme des Journées du GDR GPL 10­12 juin 2015, Bordeaux Mercredi 10 juin 2015 9h­10h30 Session 1 ­ Accueil Plénière Mot d’accueil :​
Xavier Blanc, Laurence Duchien Conférence invitée :​
Lionel Briand, Université du Luxembourg Scalable Software Testing and Verification Through Heuristic Search and Optimization: Experiences and Lessons Learned 10h30­11h Pause Café 11h­12h30 Session 2 – RIMEL, MFDL RIMEL ­ Fine­grained and accurate source code differencing, Jean­Rémy Falleri, Floréal Morandat, Xavier Blanc, Matias Martinez, Martin Monperrus, ASE 2014. ­ Easing software component repository evolution, Jérôme Vouillon, Mehdi Dogguy, Roberto Di Cosmo, ICSE 2014. ­ On Analyzing the Topology of Commit Histories in Decentralized Version Control Systems, Marco Biazzini, Martin Monperrus, Benoit Baudry, ICSME 2014. MFDL ­ Validation du standard RBAC ANSI 2012 avec B, Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau and Jules Desharnais ­ Construction de programmes parallèles en Coq avec des homomorphismes de listes, Frederic Loulergue, Wadoud Bousdira and Julien Tesson ­ A Case Study on Formal Verification of the Anaxagoros Hypervisor Paging System with Frama­C, Allan Blanchard, Nikolai Kosmatov, Matthieu Lemerre and Frédéric Loulergue ­ Verifying Reachability­Logic Properties on Rewriting­Logic Specifications, Andrei Arusoaie, Dorel Lucanu, David Nowak and Vlad Rusu 13h­14h Repas 14h­15h30 Session 3 – MTV2, IDM MTV2 ­ Instrumentation de programmes C annotés pour la génération de tests, Guillaume Petiot, Bernard Botella, Jacques Julliand, Nikolai Kosmatov and Julien Signoles ­ Sound and Quasi­Complete Detection of Infeasible Test Requirements, Sebastien Bardin, Mickaël Delahaye, Robin David, Nikolai Kosmatov, Mike Papadakis, Yves Le Traon and Jean­Yves Marion ­ Montre­moi d'autres contre­exemples : une approche basée sur les chemins, Kalou Cabrera Castillos, Helene Waeselynck and Virginie Wiels IDM ­ Adaptation d'exécution de modèles, Olivier Le Goaër, LIUPPA, Université de Pau et Pays de l'Adour. ­ Génération de modèles, une approche basée sur les CSP, Adel Ferdjoukh, LIRMM, Université de Montpellier ­ Processus flexible de configuration pour lignes de produits logiciels complexes, Simon Urli, MODALIS, Université de Nice Sophia­Antipolis 15h30­16h Pause café 16h00­ 17h30 Session 4 – Posters et Démos GDR GPL Plénière Posters et Démos ­ voir ci dessous 18h­19h Réunion de bureau, conseil scientifique et responsables de groupe GDR GPL 20h Apéro Jeudi 11 juin 2015 9h ­10h30 Session 5 – Conférence invitée Plénière Conférence invitée :​
François Taiani, Université de Rennes, IRISA, Génie logiciel et outils de distribution pour les systèmes répartis de très grande taille 10h30­11h Pause café 11h­ 12h30 Session 6 – Remise de prix de thèse GDR GPL + Nouvelles du CNRS Plénière Remise des prix de thèse GDR GPL 2014 1er prix : ​
Clément Quinton, ​
Cloud Environment Selection and Configuration: A Software Product Lines­Based Approach.​
Université Lille­ LIFL­Inria et Politecnico di Milano Accessit : ​
Julien Henry, Static Analysis by Abstract Interpretation and Decision Procedures, Université de Grenoble­VERIMAG Nouvelles du CNRS : ​
Jean Mairesse, CNRS 12h30­14h Repas 14h­15h30 Session 7 ­ Table ronde “Génie de la programmation et du logiciel” et Agilité : un mariage heureux ? animée par Mireille Blay­Fornarino, I3S & Jean­Michel Bruel, IRIT Plénière Participants : Agusti Canals, C­S Yves Ledru, Université de Grenoble Frédéric Bonnot, Thales Avionics Patrice Petit, Coach Agile 15h30­16h Pause café 16h­17h30 Session 8­ Compilation, LTP Compilation ­ Refinement of Worst­Case Execution Time Bounds by Graph Pruning, Florian Brandner, ENSTA ParisTech ­ Platform­Neutral Compute Intermediate Language for DSL Compilers and Domain Experts, ­ Riyadh Baghdadi, Inria/UPMC LTP ­ A formally­verified C static analyzer, Jacques­Henri Jourdan, Vincent Laporte, Sandrine Blazy, Xavier Leroy, David Pichardie, POPL 205 ­ A Coq formalization of the relational data model, Véronique Benzaken, Evelyne Contejean, Stefania Dumbrava, ESOP 2014 ­ Type soundness and race freedom for Mezzo, Thibaut Balabonski, François Pottier, Jonathan Protzenko, FLOPS 2014 17h30­19h AG GDR GPL 20h Repas de Gala Vendredi 12 juin 2015 9h­10h30 Session 9­ Conférence invitée Plénière Conférence invitée :​
F. Pelligrini, Université Bordeaux Aspects juridiques de la création logicielle 10h30­11h Pause café 11h­12h30 Session 10 COSMAL, AFSEC, LAHMA COSMAL ­ Towards a continuum for COMPOnent­based development, Christophe Dony, Petr Spacek, Chouki Tibermacine, Frederic Verdier, Antony Ferrand, CBSE ­ Reasoning at Runtime using time­distorted Contexts: A [email protected] based Approach. Thomas Hartmann, François Fouquet, Grégory Nain, Brice Morin, Jacques Klein, Yves Le Traon: SEKE 2014:586­591 ­ Retours et discussions autour de l’atelier GL/\CE organisé au LIP6 en avril 2015. AFSEC ­Calcul d'ordonnancement hors­ligne sur plateformes multi/pluri­coeurs à base de méthodes formelles, Claire Pagetti ­SCADE Hybrid: une extension de SCADE avec des ODEs, Marc Pouzet ­ Processus de branchement des réseaux de Petri avec reset arcs., Maurice Comlan LAMHA ­ Présentation invitée : Programmation BSP chez Huawei, Gaétan Hains, Huawei, Paris ­ Vérification de composants distribués : le modèle pNets et son utilisation en pratique, Ludovic Henrio et Eric Madelaine, CNRS/INRIA/I3S, Nice ­ Modèles fonctionnels de MapReduce en Coq, Frederic Loulergue, Inria & LIFO, Université d'Orléans, Kiminori Matsuzaki, Kochi University of Technology 12h30 Remise du prix du meilleur poster 12h30­14h Repas 14h Fin des journées du GDR GPL Liste des posters et démonstrations