Anciens séminaires de l'équipe MaREL

  • 17/07/14 - 14h - salle de séminaire, LIRMM - Mathias Bourgoin (http://www-apr.lip6.fr/~bourgoin/) - Efficient abstractions for GPGPU programming
     Abstract : Currently, General purpose (GP)GPU programming is a popular solution to achieve high performance. It couples inexpensive highly parallel computing units with classic CPUs. These heterogenous systems lead to complex designs combining multiple paradigms and programming languages to manage each hardware architecture. This talk will present a set of tools to harness GPGPU programming through the OCaml programming language. It will describe the SPOC library, which handles GPGPU subprograms (kernels) and data transfers between devices. Then, It will show how SPOC expresses GPGPU kernels: through interoperability with common low-level extensions (from Cuda and OpenCL frameworks) but also via an embedded DSL for OCaml. Finally, It will present how to manage those kernels through parallel skeletons.
  • 17/04/14 - Youakim Badr - Institut National des Sciences Appliquées de Lyon (INSA de Lyon)
     Les « systèmes orientés service » comme une généralisation de la « programmation orientée services » (service oriented computing). Modélisation, assemblage, déploiement et sécurité des services dans des environnements fortement dynamiques et ad-hoc.
  • 03/04/14 - Sébastien Salva - L’inférence de modèles dans le génie logiciel : Quels besoins ? Quelles finalités ?
     De nombreux travaux utilisent des modèles (formels) pour analyser, réutiliser des fonctionnalités, pour effectuer de la vérification de propriétés ou de la génération automatique de tests. Cependant, produire ces modèles reste une tâche complexe et fastidieuse. L'inférence de modèles est un domaine de recherche récent qui répond partiellement à cette problématique. Cette technique consiste à générer des modèles à partir de tests ou d'informations sur l'application. Cet exposé présente quelques besoins tendant à l'inférence de modèles et montre son implication dans quelques méthodologies liées au génie logiciel
  • 27/03/14 - Salah Sadou - au fil de l'évolution.
     La définition d'éléments pouvant contribuer à améliorer le développement et la maintenance des logiciels est l'objectif des travaux de recherche menés en Génie Logiciel. L'évolution constitue la plus grande part de la maintenance d'un logiciel. En effet, comme cela avait été constaté par Lehman, un logiciel doit évoluer faute de quoi il périt. Cependant, chaque évolution le rend plus complexe !
     Dans cette présentation, je fournis un aperçu des travaux que j'ai réalisés dans le cadre de l'évolution du logiciel. Le principal objectif de mes travaux vise à résoudre le problème de l'augmentation de la complexité du logiciel après son évolution. J'expose certaines sources du problème et les approches proposées pour le résoudre. Je termine mon exposé en présentant le nouveau thème de recherche de la nouvelle équipe de recherche (ArchWare) de l'IRISA : les systèmes de systèmes.
  • 20/03/14 - Thomas Chatain - Implementability of real-time distributed systems
     Formal models for real-time distributed systems, like time Petri nets and networks of timed automata have proved their interest for the verification of real-time systems. On the other hand, the question of using these models as specifications for designing real-time systems raises several difficulties. Here we focus on the ones that are related to the distributed nature of the system. Implementing a model may be possible at the cost of some transformations, which make it suitable for the target device. In this talk, I present two transformations which preserve both the timed semantics and the distribution of actions. Their correctness is expressed in terms of adapted behavioral comparisons.
  • 27/02/14 - David Delahaye - Sémantiques formelles et transformations de modèles.
     Dans cet exposé (en deux parties), nous nous proposons d'aborder, dans la première partie, la notion de sémantique formelle de langage et nous montrerons en particulier ce que permet d'apporter, en termes de propriétés, une telle formalisation. Nous discuterons ensuite de la mécanisation de la formalisation de sémantiques en utilisant notamment l'outil d'aide à la preuve Coq, qui offre la possibilité de démontrer un certain nombre de propriétés (équivalences sémantiques, corrections de transformations de programmes, etc.). Nous introduirons enfin un outil permettant, à partir de la formalisation d'une sémantique, d'extraire automatiquement un interprète ainsi que des preuves assurant que cet interprète est conforme à la sémantique formalisée.
     Dans la deuxième partie de l'exposé, nous discuterons de transformations de modèles (notamment entre le formel et le semi-formel), en se concentrant en particulier sur la préservation d'un certain nombre de propriétés (comme la sémantique). Nous présenterons une expérimentation qui a été menée dans le cadre du projet EDEMOI (formalisation de réglementations de sécurité des aéroports), où une transformation de modèles formels Focalize (qui est un environnement orienté objets et spécifications algébriques permettant la construction de bibliothèques certifiées) vers des modèles semi-formels UML a été réalisée. Nous décrirons comment cette transformation a été formalisée avec le souci de préserver la sémantique initiale du langage formel. Enfin, nous introduirons rapidement des travaux récents visant à opérer la transformation inverse (de UML vers Focalize).
  • 20/02/14 - Yoann Bonavero - Personnalisation de pages Web dans un but d'accessibilité
     Le monde numérique est en pleine expansion et principalement grâce au développement du Web et de ses nombreux services. La diversité des technologies, et la liberté de conception et de création permettent de laisser libre cours à son imagination pour concevoir des sites et application Web toujours plus modernes, stylisés, colorés ou dynamiques. Ces sites, services ou applications Web sont à la fois un outil à fort potentiel mais aussi une nouvelle source d'exclusion et de discrimination. Nous verrons dans cette première présentation de ces travaux, quelles sont les problématiques qui peuvent se poser lorsqu'une personne déficiente visuelle tente d'accéder à l'information. Nous verrons ensuite les réponses actuellement apportées et pourquoi celles-ci justifient ces travaux de recherche. Pour finir nous verrons quels choix ont été faits et leurs premiers résultats pratiques.
  • 06/02/14 - Gabriela Arevalo - An approach to migrate inheritance relationships into composition/delegation
     This seminar will be a kind of "Brainstorming session" where we will see which are the different implicit dependencies we can have in a class hierarchy, and how some of them could be (or not) refactored to have some ideas about the migration from inheritance-based to a composition/delegation-based system.
  • 09/01/14 - Baptiste Saleil : Présentation du projet Jinx, une machine virtuelle javascript autogène, orientée recherche, avec des objectifs de simplicité.

Dernière mise à jour le 24/02/2015