GDR-GPL-2023 : Journées nationales du GDR GPL 2023

9:30 - 10:30 (1h)

Invités

Amphithéatre TA

› Revisiting Program Analysis through the Security Lens - Sébastien Bardin, CEA LIST 09:30-10:30 (1h)

10:30 - 11:00 (30min)

Pause café

Amphithéatre TA

11:00 - 12:30 (1h30)

GT GLSec

TD2

Salah Sadou (IRISA, UBS)

› Collaborative Security-by-Design Platform with Model-Driven Engineering approach - Othmane El Karm, IRIT 11:00-11:30 (30min)

› Améliorer la confiance dans la chaine d'approvisionnement du logiciel avec les gestionnaires de paquets fonctionnels et la compilation reproductible - Julien Malka, Telecom Paris 11:30-12:00 (30min)

› Feature-based software architecture analysis to identify safety and security interactions - Oum El Kheir Aktouf, LCIS 12:00-12:30 (30min)

11:00 - 12:20 (1h20)

AFADL

Amphithéatre TA

› Décider la contextualité de configurations quantiques avec un solveur SAT - Axel Muller, Université de Franche-Comté, CNRS, Institut FEMTO-ST 11:00-11:20 (20min)

› Vérification de propriétés interactives sur des systèmes réactifs interactifs - Cécile Marcon, Institut Supérieur de lÁéronautique et de lÉspace 11:20-11:50 (30min)

› Vérification de modèles relationnels et temporels avec Pardinus - David Chemouil, ONERA DTIS, Université de Toulouse - Alcino Cunha, INESC TEC, University of Minho 11:50-12:20 (30min)

12:30 - 14:00 (1h30)

Déjeuner

Amphithéatre TA

14:00 - 15:15 (1h15)

Invités

Amphithéatre TA

Médaille d'argent du CNRS 2023

› How to provide proof that software is bug-free? Verified compilation to the rescue - Sandrine Blazy, IRISA 14:00-15:15 (1h15)

15:15 - 15:45 (30min)

Pause café

Amphithéatre TA

15:45 - 17:15 (1h30)

GT LVP AFADL

Amphithéatre TA

Langages et vérification de programmes + AFADL

› Une logique de séparation de haut niveau pour l'espace de tas en présence d'un glaneur de cellule - Alexandre Moine, Inria 15:45-16:15 (30min)

› Génération automatique de tests d'égalité corrects en Coq, en pratique - Jean-Christophe Léchenet, INRIA 16:15-16:45 (30min)

› Nondeterministic, Recursive, and Impure Programs in Coq - Ludovic Henrio, LIP 16:45-17:15 (30min)

17:15 - 18:30 (1h15)

AG du GDR GPL (temps d'échanges)

Amphithéatre TA

18:30 - 21:30 (3h)

Food Trucks @ Diapason && Art Performance (by Disnovation)

Programme