Contact English version

L'équipe ProVal s'est arrêtée à la fin août 2012, et renaît en une nouvelle équipe Toccata
Ces pages n'évoluent plus, suivez le lien ci-dessus pour les informations à jour sur notre équipe.

Langages et systèmes centrés données

Présentation

Les activités de recherche poursuivies par l'axe «Langages et systèmes centrés données» sont à la confluence de deux domaines : langages de programmation et gestion de données. L'objectif est l'obtention de langages et/ou de systèmes adaptés au traitement de grandes masses de données. La méthodologie qui guide notre travail consiste à développer de solides bases théoriques pour bâtir sur de telles fondations des outils robustes et efficaces.

Pour l'axe langages, actuellement nous nous intéressons principalement au format XML ce qui a conduit à définir le langage de programmation CDuce . Une autre piste de travail nous a conduit à nous interesser au format JSon et à la définitiion de systèmes de types pour les langages associés : Jaql, Pig, JSoniq ...

Un autre axe du groupe, l'axe Datacert, s'intéresse à la certification de systèmes de gestion de données au moyen de l'assistant de preuve Coq et de la plateforme Why(3).

De façon générale nous nous intéressons à l'application de techniques d'analyse statique : typage, interprétation abstraite ainsi que des techniques de démonstration automatique à des problématiques issues du domaine de la gestion de données massives telles que l'optimisation de requêtes, la vérification statique de contraintes d'intégrité, la garantie de propriétés de sécurité etc. Un aspect complémentaire que nous explorons est l'adaptation de techniques de compilation généralistes aux langages centrés données (compilation just-in-time, adaptation du pattern-matching aux index XML en particulier).

Personnes

Véronique Benzaken, Évelyne Contejean, Kim Nguyen, Stéfania Dumbrava (PhD), Hyeonseung Im (Post Doc)

Développement de logicel

CDuce : un langage de programmation fonctionnel centré XML , faisant partie des principales distributions de Linux (Debian/Ubuntu, Fedor, Mandriva).

cduce logo

Contrats

Publications liées à la thématique

Livres et chapitres de livres

Revues Internationales

Conférences Internationales

INRIA Saclay - Île-de-France                           CNRS