Véronique Benzaken

Présentation

Publications

Article dans une revue (5)

Translating canonical SQL to imperative code in Coq Véronique Benzaken,Évelyne Contejean,Mohammed Houssem Hachmaoui,Chantal Keller,Louis Mandelet al. Proceedings of the ACM on Programming Languages, 2022, 6 (OOPSLA1), pp.1-27. ⟨10.1145/3527327⟩ Article dans une revue hal-03876233v1
Optimizing XML Querying using Type-based Document Projection Véronique Benzaken,Giuseppe Castagna,Dario Colazzo,Kim Nguyễn ACM Transactions on Database Systems, 2013, 38 (1), pp.1-45 Article dans une revue hal-00798049v1
Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types Alain Frisch,Giuseppe Castagna,Véronique Benzaken Journal of the ACM (JACM), 2008, 55 (4), pp.1-64. ⟨10.1145/1391289.1391293⟩ Article dans une revue hal-00336120v1
Static verification of dynamical integrity constraints: a semantics based approach Véronique Benzaken,Serena Cerrito,Sébastien Praud Networking and Information System Journal, 2000, pp.1 Article dans une revue hal-00707093v1
Thémis: a Database Programming Language Handling Integrity Constraints Véronique Benzaken,Anne Doucet The VLDB Journal, 1995, pp.1 Article dans une revue hal-00708016v1

Communication dans un congrès (28)

A Coq formalization of data provenance Véronique Benzaken,Sarah Cohen-Boulakia,Évelyne Contejean,Chantal Keller,Rébecca Zucchini Certified Programs and Proofs, ACM, Jan 2021, Virtual Event, Denmark. ⟨10.1145/3437992.3439920⟩ Communication dans un congrès hal-03380459v1
Vers une formalisation en Coq de la provenance de données Véronique Benzaken,Sarah Cohen-Boulakia,Évelyne Contejean,Chantal Keller,Rébecca Zucchini 31ème Journées Francophones des Langages Applicatifs, Jan 2020, Gruissan, France. pp.72-87 Communication dans un congrès hal-03080066v1
SQL à l'épreuve de Coq Une sémantique formelle pour SQL Véronique Benzaken,Evelyne Contejean Journées Francophones des Langages Applicatifs (JFLA), Jan 2019, Les Rousses, France Communication dans un congrès hal-01952023v1
A Coq Mechanised Formal Semantics for Realistic SQL Queries Véronique Benzaken,Évelyne Contejean CPP 19, ACM, Jan 2019, Cascais, Portugal. pp.249-261, ⟨10.1145/3293880.3294107⟩ Communication dans un congrès hal-01955433v1
A Coq formalisation of SQL's execution engines Véronique Benzaken,Évelyne Contejean,Chantal Keller,Eunice Martins ITP 2018 - International Conference on Interactive Theorem Proving, Jul 2018, Oxford, United Kingdom. pp.88-107, ⟨10.1007/978-3-319-94821-8_6⟩ Communication dans un congrès hal-01716048v1
Language-Integrated Queries: a BOLDR Approach Véronique Benzaken,Giuseppe Castagna,Laurent Daynes,Julien Lopez,Kim Nguyenet al. WWW 2018 - International World Wide Web Conference, Apr 2018, Lyon, France. pp.1-16, ⟨10.1145/3184558.3185973⟩ Communication dans un congrès hal-01717995v2
Certifying Standard and Stratified Datalog Inference Engines in SSReflect Véronique Benzaken,Évelyne Contejean,Stefania Dumbrava International Conference on Interective Theorem Proving, 2017, Brasilia, Brazil Communication dans un congrès hal-01745566v1
A Core Calculus for XQuery 3.0 Giuseppe Castagna,Hyeonseung Im,Kim Nguyễn,Véronique Benzaken ESOP ’15 : 24th European Symposium on Programming, 2015, London, United Kingdom. ⟨10.1007/978-3-662-46669-8_10⟩ Communication dans un congrès hal-01104872v1
A Coq Formalization of the Relational Data Model Véronique Benzaken,Évelyne Contejean,Stefania Dumbrava ESOP - 23rd European Symposium on Programming, Apr 2014, Grenoble, France Communication dans un congrès hal-00924156v1
Static and dynamic semantics of NoSQL languages Véronique Benzaken,Giuseppe Castagna,Kim Nguyễn,Jérôme Siméon POPL, Jan 2013, Rome, Italy. pp.101-114, ⟨10.1145/2429069.2429083⟩ Communication dans un congrès hal-00797956v1
Provenance Management in the EdiFlow VA Workflow Jean-Daniel Fekete,Wael Khemiri,Ioana Manolescu,Veronique Benzaken 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 Communication dans un congrès hal-00690156v1
EdiFlow: data-intensive interactive workflows for visual analytics Veronique Benzaken,Jean-Daniel Fekete,Pierre-Luc Hémery,Wael Khemiri,Ioana Manolescu International conference on Data Engineering, IEEE, Apr 2011, Hannover, Germany. ⟨10.1109/ICDE.2011.5767914⟩ Communication dans un congrès inria-00532552v1
EdiFlow: data-intensive interactive workflows for visual analytics Véronique Benzaken,Jean-Daniel Fekete,Wael Khemiri,Ioana Manolescu Journées Bases de Données Avancées, Oct 2010, Toulouse, France Communication dans un congrès inria-00539718v2
ReaViz: Reactive Workflows for Visual Analytics Ioana Manolescu,Wael Khemiri,Véronique Benzaken,Jean-Daniel Fekete Data Management & Visual Analytics, Jun 2009, Berlin, Germany Communication dans un congrès hal-00699063v1
Reactive workflows for visual analytics Ioana Manolescu,Wael Khemiri,Veronique Benzaken,Jean-Daniel Fekete Journées Bases de Données Avancées, Oct 2009, Naumur, Belgium Communication dans un congrès inria-00425666v1
Pattern by example: type-driven visual programming of XML queries Véronique Benzaken,Giuseppe Castagna,Dario Colazzo,Cédric Miachon PPDP: ACM SIGPLAN Conference on Principles and practice of declarative programming, 2008, Spain. pp.131-142, ⟨10.1145/1389449.1389466⟩ Communication dans un congrès hal-00336118v1
Pattern by Example: type-driven visual programming of XML queries Véronique Benzaken,Giuseppe Castagna,Dario Colazzo,Cédric Miachon 23èmes Journées Bases de Données Avancées, Oct 2007, France Communication dans un congrès hal-00695245v1
Type-Based XML Projection Véronique Benzaken,Giuseppe Castagna,Dario Colazzo,Kim Nguyen 2006, pp.271-282 Communication dans un congrès hal-00152588v1
A Full Pattern-based Paradigm for XML Query Processing Véronique Benzaken,Giuseppe Castagna,Cédric Miachon 2005, pp.235-252 Communication dans un congrès hal-00152591v1
Information flow security for XML transformations Véronique Benzaken,Marwan Burelle,Giuseppe Castagna 2003, pp.33-53 Communication dans un congrès hal-00152613v1
CDuce: an XML-Centric General-Purpose Language Véronique Benzaken,Giuseppe Castagna,Alain Frisch 2003, pp.51-63 Communication dans un congrès hal-00152619v1
Vérification statique de contraintes d'intégrité dynamiques: une approche sémantique Véronique Benzaken,Serena Cerrito,Sébastien Praud Bases de Données Avancées, 1999, France. pp.283 - 301 Communication dans un congrès hal-00707622v1
Static management of integrity constraint in object-oriented database systems: design and implementation Véronique Benzaken,Xavier Schaefer International Conference on Extended Data Base Technology, 1998, Spain. pp.1 Communication dans un congrès hal-00707670v1
Static Integrity constraint management in object-oriented database programming languages via predicate transformers Véronique Benzaken,Xavier Schaefer European Conference on Object-Oriented Programming, 1997, Finland. pp.1 Communication dans un congrès hal-00707962v1
Ensuring efficiently the integrity of a persistent object store via abstract interpretation Véronique Benzaken,Xavier Schaefer International Workshop on Persistent Object Systems, 1996, United States. pp.1 Communication dans un congrès hal-00708011v1
Integrity constraint checking optimization based on abstract interpretation Véronique Benzaken,Anne Doucet,Xavier Schaefer PRC BD3, 1994, France. pp.1 Communication dans un congrès hal-00708038v1
Thémis, a database programming language with integrity constraints Véronique Benzaken,Anne Doucet Data Base Programming Language (DBPL), Aug 1993, New York, United States Communication dans un congrès hal-01501816v1
Définition et gestion de contraintes d'intégrité dans le langage Thémis Véronique Benzaken,Anne Doucet,P.y Policella PRC BD3, 1993, France. pp.1 Communication dans un congrès hal-00708926v1

Chapitre d'ouvrage (2)

XML Typechecking Giuseppe Castagna,Véronique Benzaken,Haruo Hosoya,Benjamin C. Pierce,Stijn Vansummeren The Encyclopedia of Database Systems, Springer, pp.3646-3650, 2009 Chapitre d'ouvrage hal-00434495v1
Bases de données orientées objets: origines et principes Véronique Benzaken,Anne Doucet Collection Acquis Avancés de l'Informatique, Armand-Colin, pp.1, 1993 Chapitre d'ouvrage hal-00708918v1

Autre publication scientifique (3)

ℂDuce User's Manual Véronique Benzaken,Giuseppe Castagna,Julien Demouth,Alain Frisch,Cédric Miachonet al. 2011 Autre publication scientifique hal-00699615v1
ℂDuce Tutorial Véronique Benzaken,Giuseppe Castagna,Alain Frisch 2007 Autre publication scientifique hal-00699610v1
Algebra-based extraction of tree patterns in XQuery Andrei Arion,Veronique Benzaken,Ioana Manolescu,Yannis Papakonstantinou,Ravi Vijay 2006 Autre publication scientifique inria-00001147v1

Pré-publication, Document de travail (2)

A Coq mechanised formal semantics for realistic SQL queries * Formally reconciling SQL and bag relational algebra Véronique Benzaken,Évelyne Contejean 2018 Pré-publication, Document de travail hal-01830255v2
SQLCert: Coq mechanisation of SQL's compilation: Formally reconciling SQL and (relational) algebra Véronique Benzaken,Evelyne Contejean 2016 Pré-publication, Document de travail hal-01487062v1

Rapport (1)

Structured Materialized Views for XML Queries Ioana Manolescu,Veronique Benzaken,Andrei Arion,Yannis Papakonstantinou [Research Report] 2006, pp.23 Rapport (rapport de recherche) inria-00001233v6