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

9:00 - 10:30 (1h30)

Invités

Diapason

› Global Warming: The need for a new model of development and the key role of higher education - Jean Jouzel, Scientific Working Group of the Intergovernmental Panel on Climate Change (IPCC) 09:00-10:30 (1h30)

10:30 - 11:00 (30min)

Pause café

Amphi P ISTIC

11:00 - 12:30 (1h30)

GT CLAP

i50 ISTIC

Compilation, Langages, Analyses, Parallélisme

› RT-DFI : Optimizing Data-Flow Integrity for Real-Time Systems - Nicolas Bellec, Pushing Architecture and Compilation for Application Performance 11:00-11:30 (30min)

› Polymorphic Types with Polynomial Sizes - Jean-Louis Colaço, ANSYS 11:30-12:00 (30min)

› Co-optimizing Dataflow Graphs and Actors with MLIR - Pedro Ciambra, Institut d'Électronique et des Technologies du numéRique, Computer Systems Laboratory [Campinas] 12:00-12:30 (30min)

11:00 - 11:50 (50min)

AFADL

Amphi P ISTIC

› Cybersécurité pour les systèmes embarqués critiques à base d'Intelligence Artificielle - Céline Bellanger, enac 11:00-11:20 (20min)

› Une approche pour inférer les expressions de calcul géométrique en modélisation à base topologique - Romain Pascual, MICS, CentraleSupélec, Université Paris-Saclay 11:20-11:50 (30min)

12:30 - 14:00 (1h30)

Déjeuner

Amphi P ISTIC

14:00 - 15:30 (1h30)

GT Debugging

i50 ISTIC

› Finding Faults of Executable Models: Manually and Automatically - Faezeh Khorram, Huawei Technologies 14:00-14:30 (30min)

› Protocol-Based Interactive Debugging for Domain-Specific Languages - Josselin Enet, NaoMod 14:30-15:00 (30min)

› Prototypage IHM pour la défense : déboguage et correctifs distribués à chaud et sans interruption de système collaboratifs en cours d'exécution - Pierre Laborde, Thales DMS 15:00-15:30 (30min)

14:00 - 15:30 (1h30)

GT Logiciel Eco-Responsable

i51 ISTIC

Adel Noureddine - Nous ferons le bilan des activités du GT depuis l'année dernière, présenterons les défis et les actions à venir, et discuterions avec la communauté pour planifier les travaux à venir.

14:00 - 15:10 (1h10)

AFADL

Amphi P ISTIC

› Approche Formelle Dirigée par les Modèles pour la Collaboration de DSLs - Salim Chehida, LIG, CNRS 14:00-14:30 (30min)

› Débogage Multivers de Modèles UML - Matthias Pasquier, Ertosgener 14:30-15:00 (30min)

› Clôture - Frédéric Mallet, Université Côte d'Azur 15:00-15:10 (10min)

15:30 - 16:00 (30min)

Pause café

Amphithéatre TA

16:00 - 17:30 (1h30)

GT Debugging

i50 ISTIC

› 2 Détection des anomalies d'ordonnancement dans un système temps réel - Blandine Djika, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance 16:00-16:30 (30min)

› Comment faciliter le processus de debugging en tracant la compilation - Bruno Mateu, IMT Atlantique 16:30-17:00 (30min)

16:00 - 17:30 (1h30)

GT Logiciel Eco-Responsable

i51 ISTIC

Adel Noureddine - Nous ferons le bilan des activités du GT depuis l'année dernière, présenterons les défis et les actions à venir, et discuterions avec la communauté pour planifier les travaux à venir.

Programme