Publications

2013

Full conference papers

1. Contractive Signatures with Recursive Types, Type Parameters, and Abstract Types Hyeonseung Im, Keiko Nakata, and Sungwoo Park In Proceedings of the 40th International Colloquium on Automata, Language and Programming (ICALP 2013), July 2013 [extended version]
2. Evaluating and benchmarking SPARQL query containment solvers. Melisachew Wudage Chekol, Jêrome Euzenat, Pierre Genevès, and Nabil Layaïda. ISWC 2013: The 12th International Semantic Web Conference. 2013.
3. Static and dynamic semantics of NoSQL languages., Véronique Benzaken, Giuseppe Castagna, Kim Nguyễn, Jérôme Siméon, 101-114, POPL, 2013, [Full version], [Slides], [Deliverable D.6.a]

Short papers, posters, demos

1. XML Validation: Looking Backward -- Strongly Typed and Flexible XML Processing are not Incompatible Pierre Genevès, Nabil Layaïda. Demo Paper. 22nd International World Wide Web Conference (WWW'13) 2013 [Full version]

Theses

1. Représentation et analyses des contenus et des traitements sur le Web. Nabil Layaïda, Habilitation à diriger les recherches. Université de Grenoble. April 2013.
2. Parametric Polymorphism for XML Processing Languages. Zhiwu Xu. Université Paris Diderot and Chinese Academy of Science joint PhD thesis. May 2013.[Full version]

Unpublished reports

1. A Logical Approach To Deciding Semantic Subtyping - Supporting function, intersection, negation, and polymorphic types. Nils Gesbert, Pierre Genevès, Nabil Layaïda. Submitted, June 2013. [Full version], [Deliverable D.2.c-part1] (logic-based subtyping algorithm)
2. XQTC: A Static Type-Checker for XQuery Using Backward Type Inference Pierre Genevès, Nabil Layaïda, Christine Vanoirbeek. Unpublished report, July 2013. [Full version], [Deliverable D.4.a-part1] (logic-based approach)
3. A Core Calculus for XQuery 3.0. G. Castagna, H. Im, K. Nguyễn, and V. Benzaken: April, 2013 [Full version], [Deliverable D.4.a-part2] (inference-based approach)
4. Polymorphic Functions with Set-Theoretic Types. Part 1: Syntax, Semantics, and Evaluation G. Castagna, K. Nguyễn, Z. Xu, H. Im, S. Lenglet, and L. Padovani, June, 2013 [Full version], [Deliverable D.2.d-part1] (implementation part)
5. Polymorphic Functions with Set-Theoretic Types. Part 2: Local Type Inference and Type Reconstruction G. Castagna, K. Nguyễn, Z. Xu, June, 2013 [Full version], [Deliverable D.2.a], [Deliverable D.2.c-part2] (ad-hoc local type inference algorithm)
6. Type Synthesis for the Logical Solver: an Approach based on Query Automata Louis Jachiet, Pierre Geneves, Nabil Layaïda, Unpublished report, January 2013 [Full Version], [Deliverable D.2.b]

2012

Full conference papers

1. SPARQL Query Containment under RDFS Entailment Regime. Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda. In IJCAR 2012, International Joint Conference on Automated Reasoning.
2. On the Analysis of Cascading Style Sheets, Pierre Genevès, Nabil Layaïda, Vincent Quint. In WWW 2012, The World Wide Web Conference, full paper. [Full version]
3. SPARQL Query Containment, Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda. In AAAI 2012, Twenty-Sixth AAAI Conference on Artificial Intelligence.

Short papers, posters, demos

1. XML Query-Update Independence Analysis Revisited, Muhammad Junedi, Pierre Geneves, Nabil Layaida, DocEng 2012, ACM Symposium on Document Engineering, September 2012. [Full Version], [Deliverable D.4.b-part1](SMT-based approach)
2. Toward automated schema-directed code revision, Raquel Oliveira, Pierre Geneves, Nabil Layaida, DocEng 2012, ACM Symposium on Document Engineering, September 2012.

Theses

1. Analyse statique de requêtes pour le Web Sémantique. Melisachew Wudage Chekol. PhD Thesis. Université de Grenoble. December 2012. [Full Version]