Lifo - Laboratoire d'Informatique Fondamentale d'orléans INSA Centre Val de Loire Université d'Orléans Université d'Orléans

Lifo > Les séminaires du LIFO

 English Version



Contact

LIFO - Bâtiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2

Email: contact.lifo
Tel: +33 (0)2 38 41 99 29
Fax: +33 (0)2 38 41 71 37



Les séminaires du LIFO


Accès par année : 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023

Sauf exception, les séminaires se déroulent le lundi de 14h à 15h, Salle de réunion 1, bâtiment IIIA (voir plan du campus).


27/02/2023 : [Séminaire PAMDA] Scientific Workflow Provenance: Querying and Annonymization
Khalid Belhajjame (Paris Dauphine) Résumé
Attention : Débute à 13 h 30.

13/02/2023 : [Keynote] Frama-C, une plateforme open-source d'analyses de programmes C
Julien Signoles (CEA) Résumé
Attention : Débute à 13 h 30.

01/02/2023 : [Séminaire PAMDA] Voyager dans les données : trouvailles, intérêts, langages… et au delà
Patrick Marcel (LIFAT) Résumé

23/01/2023 : [LMV] Contribution to the Analysis of the Design-Space of a Distributed Transformation Engine
Jolan Philippe (IMT Atlantique) Résumé

17/01/2023 : [Séminaire PAMDA] Leveraging possibilities towards energy efficiency for computing systems, from large to small scale systems
Issam Raïs (Norvège) Résumé
Attention : Débute à 15 h.


Résumés des séminaires


[Séminaire PAMDA] Scientific Workflow Provenance: Querying and Annonymization Khalid Belhajjame, Paris Dauphine

Automated workflows have been shown to facilitate and accelerate the exploration and analysis of scientific data in many scientific fields, including life sciences and biodiversity. Provenance information, recorded during the execution of workflows, has a number of applications, for example, to facilitate the interpretation of results provided by the execution of workflows, and to better understand the validity of results and/or verify their reproducibility. In this talk, I will present our results in the context of workflow provenance management. In doing so, I will focus on two topics, namely querying and anonymizing workflow results. Regarding the first topic, we have shown that provenance querying can be performed efficiently by leveraging the workflow definition, which acts as a succinct schema, to avoid unnecessary joins when traversing the provenance graph. Regarding anonymization, we have shown how the classical k-anonymization technique can be generalized to fit the nature of the collected provenance information, and we propose an efficient algorithm to perform anonymization considering the requirements of the modules (or more precisely their providers). We conclude our talk by presenting the perspectives of our work in the area of workflow provenance management.


[Keynote] Frama-C, une plateforme open-source d'analyses de programmes C Julien Signoles, CEA

Cet exposé présentera Frama-C, une plateforme open-source dédiée à l'analyse de programmes écrits en langage C. Après un aperçu général de la plateforme, nous introduirons ses principaux greffons d'analyse. Ainsi, nous expliquerons d'abord comment prouver l'absence de comportements indéfinis (ou les détecter s'il y en a) à l'aide d'Eva, le greffon d'analyse de valeurs par interprétation abstraite, nous introduirons ensuite comment prouver des propriétés fonctionnelles à l'aide du greffon WP dédié à la vérification déductive, puis nous présenterons comment détecter des erreurs avancées en cours d'exécution d'un programme, à l'aide d'E-ACSL, le greffon dédié à la vérification à l'exécution. Enfin, nous montrerons quelques usages plus avancés combinant différentes analyses. Les différentes techniques présentées seront illustrées à travers différents exemples réels provenant de domaines applicatifs variés (nucléaire, avionique, carte à puce, ...).


[Séminaire PAMDA] Voyager dans les données : trouvailles, intérêts, langages… et au delà Patrick Marcel, LIFAT

Cette présentation est un panorama des recherches menées depuis quelques années au LIFAT autour du thème général de l’exploration interactive de données. Dans une première partie, nous préciserons le problème de l’exploration interactive de données en nous attardant notamment sur (1) une définition que nous en avons donnée et (2) les mesures d’intérêt couramment utilisées dans ce cadre. Nous illustrerons brièvement quelques-une des applications que nous avons proposées, avec un focus sur l’extraction automatique de trouvailles de comparaison dans des bases de données relationnelles. Finalement nous inscrirons ces travaux dans un cadre déclaratif pour l’exploration de données que nous avons défini. Pour conclure, quelques perspectives seront évoquées.


[LMV] Contribution to the Analysis of the Design-Space of a Distributed Transformation Engine Jolan Philippe, IMT Atlantique

The design space for defining a distributed model transformation engine is a large spectrum of possibilities and opportunities to enhance performances in terms of computation time and memory consumption. Depending on the adopted decisions, the use of a transformation engine can be completely different (e.g., an incremental solution for an often-modified model vs a formally specified engine for reasoning, not performing). Already existing solutions propose engines with different goals based on several approaches including distribution, laziness, incrementality, and correctness. However, comparing the solutions is not trivial, and does not necessarily make sense. That is why we have implemented a new engine, integrating variability, that allows an analysis of its design space. From a language that has formal specifications, we created SparkTE, a parametrizable and distributed transformation engine on top of Spark. In this thesis, we aim at analysing the impact of the choices at different levels: the used programming models for defining expressions; the different semantics used to define the computation of a transformation; and the impact of engineering choices.


[Séminaire PAMDA] Leveraging possibilities towards energy efficiency for computing systems, from large to small scale systems Issam Raïs, Norvège

Energy efficiency is now a recognized challenge for computing systems. Every computing system is involved in the reduction or augmentation of the overall energy consumption and global carbon emission. There are multiple ways to modulate the energy consumed by a computing system. However, taking decisions carelessly can lead to an augmentation of the energy consumption and to a disruption of existing constraints. This last statement is true for large scale computing systems (like supercomputers and clouds) but also for small scale systems (like Wireless Sensor Networks and Cyber-Physical Systems, especially when deployed in resource constrained environments). This talk gives an overview of my contributions in these two previous contexts. It also presents an overview of my current and future works.