Curriculum Vitae

Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyễn. Optimizing XML Querying using Type-based Document Projection. ACM Transactions on Database Systems, Association for Computing Machinery, 2013, 38 (1), pp.1-45. ⟨hal-00798049⟩

Alain Frisch, Giuseppe Castagna, Véronique Benzaken. Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types. Journal of the ACM (JACM), Association for Computing Machinery, 2008, 55 (4), pp.1-64. ⟨10.1145/1391289.1391293⟩. ⟨hal-00336120⟩

Véronique Benzaken, Serena Cerrito, Sébastien Praud. Static verification of dynamical integrity constraints: a semantics based approach. Networking and Information System Journal, 2000, pp.1. ⟨hal-00707093⟩

Véronique Benzaken, Anne Doucet. Thémis: a Database Programming Language Handling Integrity Constraints. The VLDB Journal, Springer, 1995, pp.1. ⟨hal-00708016⟩

Véronique Benzaken, Sarah Cohen-Boulakia, Évelyne Contejean, Chantal Keller, Rébecca Zucchini. A Coq formalization of data provenance. Certified Programs and Proofs, ACM, Jan 2021, Virtual Event, Denmark. ⟨10.1145/3437992.3439920⟩. ⟨hal-03380459⟩

Véronique Benzaken, Sarah Cohen-Boulakia, Évelyne Contejean, Chantal Keller, Rébecca Zucchini. Vers une formalisation en Coq de la provenance de données. 31ème Journées Francophones des Langages Applicatifs, Jan 2020, Gruissan, France. pp.72-87. ⟨hal-03080066⟩

Véronique Benzaken, Évelyne Contejean. A Coq Mechanised Formal Semantics for Realistic SQL Queries: Formally Reconciling SQL and Bag Relational Algebra. CPP 19, ACM, Jan 2019, Cascais, Portugal. pp.249-261, ⟨10.1145/3293880.3294107⟩. ⟨hal-01955433⟩

Véronique Benzaken, Evelyne Contejean. SQL à l'épreuve de Coq Une sémantique formelle pour SQL. Journées Francophones des Langages Applicatifs (JFLA), Jan 2019, Les Rousses, France. ⟨hal-01952023⟩

Véronique Benzaken, Giuseppe Castagna, Laurent Daynes, Julien Lopez, Kim Nguyen, et al.. Language-Integrated Queries: a BOLDR Approach. WWW 2018 - International World Wide Web Conference, Apr 2018, Lyon, France. pp.1-16, ⟨10.1145/3184558.3185973⟩. ⟨hal-01717995v2⟩

Véronique Benzaken, Évelyne Contejean, Chantal Keller, Eunice Martins. A Coq formalisation of SQL's execution engines. ITP 2018 - International Conference on Interactive Theorem Proving, Jul 2018, Oxford, United Kingdom. pp.88-107, ⟨10.1007/978-3-319-94821-8_6⟩. ⟨hal-01716048⟩

Véronique Benzaken, Évelyne Contejean, Stefania Dumbrava. Certifying Standard and Stratified Datalog Inference Engines in SSReflect. International Conference on Interective Theorem Proving, 2017, Brasilia, Brazil. ⟨hal-01745566⟩

Giuseppe Castagna, Hyeonseung Im, Kim Nguyễn, Véronique Benzaken. A Core Calculus for XQuery 3.0: Combining Navigational and Pattern Matching Approaches. ESOP ’15 : 24th European Symposium on Programming, 2015, London, United Kingdom. ⟨10.1007/978-3-662-46669-8_10⟩. ⟨hal-01104872⟩

Véronique Benzaken, Évelyne Contejean, Stefania Dumbrava. A Coq Formalization of the Relational Data Model. ESOP - 23rd European Symposium on Programming, Apr 2014, Grenoble, France. ⟨hal-00924156⟩

Véronique Benzaken, Giuseppe Castagna, Kim Nguyễn, Jérôme Siméon. Static and dynamic semantics of NoSQL languages. POPL, Jan 2013, Rome, Italy. pp.101-114, ⟨10.1145/2429069.2429083⟩. ⟨hal-00797956⟩

Veronique Benzaken, Jean-Daniel Fekete, Pierre-Luc Hémery, Wael Khemiri, Ioana Manolescu. EdiFlow: data-intensive interactive workflows for visual analytics. International conference on Data Engineering, IEEE, Apr 2011, Hannover, Germany. ⟨inria-00532552⟩

Jean-Daniel Fekete, Wael Khemiri, Ioana Manolescu, Veronique Benzaken. Provenance Management in the EdiFlow VA Workflow. CHI Workshop on Analytic Provenance: Process+Interaction+Insight, May 2011, Held in conjunction with the ACM Conference on Human Factors in Computing Systems (CHI), Vancouver,, United States. ⟨hal-00690156⟩

Véronique Benzaken, Jean-Daniel Fekete, Wael Khemiri, Ioana Manolescu. EdiFlow: data-intensive interactive workflows for visual analytics. Journées Bases de Données Avancées, Oct 2010, Toulouse, France. ⟨inria-00539718v2⟩

Ioana Manolescu, Wael Khemiri, Véronique Benzaken, Jean-Daniel Fekete. ReaViz: Reactive Workflows for Visual Analytics. Data Management & Visual Analytics, Jun 2009, Berlin, Germany. ⟨hal-00699063⟩

Ioana Manolescu, Wael Khemiri, Veronique Benzaken, Jean-Daniel Fekete. Reactive workflows for visual analytics. Journées Bases de Données Avancées, Oct 2009, Naumur, Belgium. ⟨inria-00425666⟩

Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Cédric Miachon. Pattern by example: type-driven visual programming of XML queries. PPDP: ACM SIGPLAN Conference on Principles and practice of declarative programming, 2008, Spain. pp.131-142, ⟨10.1145/1389449.1389466⟩. ⟨hal-00336118⟩

Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Cédric Miachon. Pattern by Example: type-driven visual programming of XML queries. 23èmes Journées Bases de Données Avancées, Oct 2007, France. ⟨hal-00695245⟩

Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen. Type-Based XML Projection. 2006, pp.271-282. ⟨hal-00152588⟩

Véronique Benzaken, Giuseppe Castagna, Cédric Miachon. A Full Pattern-based Paradigm for XML Query Processing. 2005, pp.235-252. ⟨hal-00152591⟩

Véronique Benzaken, Giuseppe Castagna, Alain Frisch. CDuce: an XML-Centric General-Purpose Language. 2003, pp.51-63. ⟨hal-00152619⟩

Véronique Benzaken, Marwan Burelle, Giuseppe Castagna. Information flow security for XML transformations. 2003, pp.33-53. ⟨hal-00152613⟩

Véronique Benzaken, Serena Cerrito, Sébastien Praud. Vérification statique de contraintes d'intégrité dynamiques: une approche sémantique. Bases de Données Avancées, 1999, France. pp.283 - 301. ⟨hal-00707622⟩

Véronique Benzaken, Xavier Schaefer. Static management of integrity constraint in object-oriented database systems: design and implementation. International Conference on Extended Data Base Technology, 1998, Spain. pp.1. ⟨hal-00707670⟩

Véronique Benzaken, Xavier Schaefer. Static Integrity constraint management in object-oriented database programming languages via predicate transformers. European Conference on Object-Oriented Programming, 1997, Finland. pp.1. ⟨hal-00707962⟩

Véronique Benzaken, Xavier Schaefer. Ensuring efficiently the integrity of a persistent object store via abstract interpretation. International Workshop on Persistent Object Systems, 1996, United States. pp.1. ⟨hal-00708011⟩

Véronique Benzaken, Anne Doucet, Xavier Schaefer. Integrity constraint checking optimization based on abstract interpretation. PRC BD3, 1994, France. pp.1. ⟨hal-00708038⟩

Véronique Benzaken, Anne Doucet. Thémis, a database programming language with integrity constraints. Data Base Programming Language (DBPL), Aug 1993, New York, United States. ⟨hal-01501816⟩

Véronique Benzaken, Anne Doucet, P.Y Policella. Définition et gestion de contraintes d'intégrité dans le langage Thémis. PRC BD3, 1993, France. pp.1. ⟨hal-00708926⟩

Giuseppe Castagna, Véronique Benzaken, Haruo Hosoya, Benjamin Pierce, Stijn Vansummeren. XML Typechecking. The Encyclopedia of Database Systems, Springer, pp.3646-3650, 2009. ⟨hal-00434495⟩

Véronique Benzaken, Anne Doucet. Bases de données orientées objets: origines et principes. Collection Acquis Avancés de l'Informatique, Armand-Colin, pp.1, 1993. ⟨hal-00708918⟩

Véronique Benzaken, Giuseppe Castagna, Julien Demouth, Alain Frisch, Cédric Miachon, et al.. ℂDuce User's Manual. 2011. ⟨hal-00699615⟩

Véronique Benzaken, Giuseppe Castagna, Alain Frisch. ℂDuce Tutorial. 2007. ⟨hal-00699610⟩

Andrei Arion, Veronique Benzaken, Ioana Manolescu, Yannis Papakonstantinou, Ravi Vijay. Algebra-based extraction of tree patterns in XQuery. 2006. ⟨inria-00001147⟩

Véronique Benzaken, Évelyne Contejean. A Coq mechanised formal semantics for realistic SQL queries * Formally reconciling SQL and bag relational algebra. 2018. ⟨hal-01830255v2⟩

Véronique Benzaken, Evelyne Contejean. SQLCert: Coq mechanisation of SQL's compilation: Formally reconciling SQL and (relational) algebra. 2016. ⟨hal-01487062⟩

Ioana Manolescu, Veronique Benzaken, Andrei Arion, Yannis Papakonstantinou. Structured Materialized Views for XML Queries. [Research Report] 2006, pp.23. ⟨inria-00001233v6⟩