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).
Contrats
- Projet ANR - Blanc Typex Typeful certified XML: integrating language, logic, and data-oriented best practices.
- Projet ANR - DEFIS Codex
- Projet exploratoire RNTL GraphDuce.
- Action Spécifique du CNRS Langages, types, securite et integrite pour donnees semi-structurees
- ACI Securite Informatique : Projet CASC
- ACI Masse de Donnees Projet TRALALA
Publications liées à la thématique
Livres et chapitres de livres
- XML Typechecking , V. Benzaken and G. Castagna and H. Hosoya and B-C Pierce and S. Vansummeren (Invited chapter in) Encyclopedia of Database Systems, Springer Verlag 2009.
Revues Internationales
- Optimizing XML Querying using Type-based Document Projection V. Benzaken, G. Castagna, D. Colazzo, K. Nguyen. In ACM Transactions on Database Systems (TODS) To appear 2013.
- XPath whole query optimization, S. Maneth and K. Nguyen. In Processing of the VLDB Endowment, Volume 3, Issue 1(Septembre 2010).
- Semantic Subtyping: dealing set-theoretically with function, union, intersection and negation types , V. Benzaken, G. Castagna and A. Frisch . In Journal of the ACM (JACM) Volume 55 , Issue 4 (September 2008).
- Static Verification of dynamical constraints a semantics-based approach V. Benzaken, S. Cerrito and S. Praud. In NIS Journal 2000.
- Themis: a Database Programming Language Handling Integrity Constraints , V.Benzaken and A. Doucet. In the VLDB Journal, Volume 4, Number 3, July-August 1995.
Conférences Internationales
- Static and dynamic semantics for NoSQL Languages V. Benzaken, G. Castagna, K. Nguyen, J. Simeon. in ACM International Conference on Principles of Programming Languages POPL Roma 2013
- Fast in-memory XPath search using compressed indexes, D. Arroyuelo, F. Claude, S. Maneth, Veli Mäkinen, G. Navarro, K. Nguyen, J. Sirén, N. Välimäki, 26th International Conference on Data Engineering, ICDE 2010
- Typed iterators for XML, G. Castagna and K. Nguyen, 13th ACM SIGPLAN International Conference on Functional Programming, ICFP 2008
- Pattern by Example: type-driven visual programming of XML queries V.Benzaken, G. Castagna, D. Colazzo and C. Miachon 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming PPDP 2008
- Type-Based XML Projection, V.Benzaken, G. Castagna, D. Colazzo and K. Nguyen, In 32nd International Conference on Very Large Databases VLDB 2006
- A Full Pattern-based Paradigm for XML Query Processing V.Benzaken,G.Castagna and C.Miachon, In the Seventh International Symposium on Practical Aspects of Declarative Languages PADL 2005
- Information Flow Security for XML Transformations, V. Benzaken, M. Burelle Eighth Asian Computing Science Conference (ASIAN'03) Collocated with ICLP'03 and FSTTCS'03, Lecture Notes in Computer Science, Springer-Verlag, Tata Institute of Fundamental Research, Mumbai, India, December 10-13, 2003.
- CDuce: an XML-centric general purpose programming language, V. Benzaken, G. Castagna and A. Frisch in Proc of the international conference on functional programming (ICFP'03), Upsala, Sweden, 25-29 august 2003.
- Semantic subtyping, A. Frisch, G. Castagna and V. Benzaken in Proc of the Seventeenth Annual IEEE Symposium on Logic in Computer Science (LICS'2002), pages 137-146, Copenhagen, Denmark,22th-25th July.
- Static management of integrity constraint in object-oriented database systems: design and implementation. V. Benzaken and X. Schaefer, In G. Alonso and H-J Schek, editors, Proc. of the 6th International Conference on Extending Database Technology (EDBT'98), Lecture Notes in Computer Science, Valencia, Spain, March 1998. Springer-Verlag.
- Static integrity constraint management in object-oriented database programming languages via predicate transformers. V. Benzaken and X. Schaefer. In M. Aksit and B. Magnusson, editors, Proc. of the 11th European Conference on Object-Oriented Programming (ECOOP'97), Lecture Notes in Computer Science, Jyvaskyla Finland, June 1997. Springer-Verlag.
