Véronique Benzaken

According to our database, Véronique Benzaken authored at least 46 papers between 1988 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Translating canonical SQL to imperative code in Coq.

Véronique Benzaken, Evelyne Contejean, Mohammed Houssem Hachmaoui, Chantal Keller, Louis Mandel, Avraham Shinnar, Jérôme Siméon

Proc. ACM Program. Lang., 2022

2021

A Coq formalization of data provenance.

Véronique Benzaken, Sarah Cohen-Boulakia, Evelyne Contejean, Chantal Keller, Rébecca Zucchini

Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021

2019

A Coq mechanised formal semantics for realistic SQL queries: formally reconciling SQL and bag relational algebra.

Véronique Benzaken, Evelyne Contejean

Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019

2018

XML Typechecking.

Véronique Benzaken, Giuseppe Castagna, Haruo Hosoya, Benjamin C. Pierce, Stijn Vansummeren

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Language-Integrated Queries: a BOLDR Approach.

Véronique Benzaken, Giuseppe Castagna, Laurent Daynès, Julien Lopez, Kim Nguyen, Romain Vernoux

Proceedings of the Companion of the The Web Conference 2018 on The Web Conference 2018, 2018

A Coq Formalisation of SQL's Execution Engines.

Véronique Benzaken, Evelyne Contejean, Chantal Keller, Eunice Martins

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

2017

Certifying Standard and Stratified Datalog Inference Engines in SSReflect.

Véronique Benzaken, Evelyne Contejean, Stefania Dumbrava

Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017

2015

A Core Calculus for XQuery 3.0 - Combining Navigational and Pattern Matching Approaches.

Giuseppe Castagna, Hyeonseung Im, Kim Nguyen, Véronique Benzaken

Proceedings of the Programming Languages and Systems, 2015

2014

A Coq Formalization of the Relational Data Model.

Véronique Benzaken, Evelyne Contejean, Stefania Dumbrava

Proceedings of the Programming Languages and Systems, 2014

2013

Optimizing XML querying using type-based document projection.

Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen

ACM Trans. Database Syst., 2013

Static and dynamic semantics of NoSQL languages.

Véronique Benzaken, Giuseppe Castagna, Kim Nguyen, Jérôme Siméon

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

2011

EdiFlow: Data-intensive interactive workflows for visual analytics.

Véronique Benzaken, Jean-Daniel Fekete, Pierre-Luc Hemery, Wael Khemiri, Ioana Manolescu

Proceedings of the 27th International Conference on Data Engineering, 2011

2009

XML Typechecking.

Véronique Benzaken, Giuseppe Castagna, Haruo Hosoya, Benjamin C. Pierce, Stijn Vansummeren

Proceedings of the Encyclopedia of Database Systems, 2009

2008

Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types.

Alain Frisch, Giuseppe Castagna, Véronique Benzaken

J. ACM, 2008

Pattern by example: type-driven visual programming of XML queries.

Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Cédric Miachon

Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

2007

Structured Materialized Views for XML Queries.

Andrei Arion, Véronique Benzaken, Ioana Manolescu, Yannis Papakonstantinou

Proceedings of the 33rd International Conference on Very Large Data Bases, 2007

2006

Type-Based XML Projection.

Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen

Proceedings of the 32nd International Conference on Very Large Data Bases, 2006

Algebra-Based Identification of Tree Patterns in XQuery.

Andrei Arion, Véronique Benzaken, Ioana Manolescu, Yannis Papakonstantinou, Ravi Vijay

Proceedings of the Flexible Query Answering Systems, 7th International Conference, 2006

2005

XML Access Modules: Towards Physical Data Independence in XML Databases.

Andrei Arion, Véronique Benzaken, Ioana Manolescu

Proceedings of the Second International Workshop on XQuery Implementation, 2005

ULoad: Choosing the Right Storage for Your XML Application.

Andrei Arion, Véronique Benzaken, Ioana Manolescu, Ravi Vijay

Proceedings of the 31st International Conference on Very Large Data Bases, Trondheim, Norway, August 30, 2005

A Full Pattern-Based Paradigm for XML Query Processing.

Véronique Benzaken, Giuseppe Castagna, Cédric Miachon

Proceedings of the Practical Aspects of Declarative Languages, 7th International Symposium, 2005

2004

CQL: a pattern-based query language for XML.

Véronique Benzaken, Giuseppe Castagna, Cédric Miachon

Proceedings of the 20èmes Journées Bases de Données Avancées, 2004

2003

CDuce: an XML-centric general-purpose language.

Véronique Benzaken, Giuseppe Castagna, Alain Frisch

Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

Information Flow Security for XML Transformations.

Véronique Benzaken, Marwan Burelle, Giuseppe Castagna

Proceedings of the Advances in Computing Science, 2003

2002

Semantic Subtyping.

Alain Frisch, Giuseppe Castagna, Véronique Benzaken

Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002

2000

Benchmarking Queries over Trees: Learning the Hard Truth the Hard Way.

Fanny Wattez, Sophie Cluet, Véronique Benzaken, Guy Ferran, Christian Fiegel

Proceedings of the 2000 ACM SIGMOD International Conference on Management of Data, 2000

1999

Vérification statique de contraintes d'intégrité dynamiques : une approche sémantique.

Véronique Benzaken, Serenella Cerrito, Sébastien Praud

Proceedings of the 15èmes Journées Bases de Données Avancées, 1999

1998

Static Management of Integrity in Object-Oriented Databases: Design and Implementation.

Véronique Benzaken, Xavier Schaefer

Proceedings of the Advances in Database Technology, 1998

M-net Calculus Based Semantics for Triggers.

Véronique Benzaken, Nicolas Hugon, Hanna Klaudel, Elisabeth Pelz, Robert-C. Riemann

Proceedings of the Application and Theory of Petri Nets 1998, 1998

1997

Static Integrity Constraint Management in Object-Oriented Database Programming Languages via Predicate Transformers.

Véronique Benzaken, Xavier Schaefer

Proceedings of the ECOOP'97, 1997

1996

Ensuring Efficiently the Integrity of Persistent Object Systems via Abstract Interpretation.

Véronique Benzaken, Xavier Schaefer

Proceedings of the 7th Workshop on Persistent Object Systems, 1996

1995

Thémis: A Database Programming Language Handling Integrity Constraints

Véronique Benzaken, Anne Doucet

VLDB J., 1995

1994

Object Store Engineering 2.

Véronique Benzaken

Proceedings of the Persistent Object Systems, 1994

Integrity constraint checking optimization based on abstract interpretation.

Véronique Benzaken, Anne Doucet, Xavier Schaefer

Proceedings of the Dixièmes Journées Bases de Données Avancées, 30 Août, 1994

1993

Thémis: a database programming language with integrity constraints.

Véronique Benzaken, Anne Doucet

Proceedings of the Database Programming Languages (DBPL-4), Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages, Manhattan, New York City, USA, 30 August, 1993

Définition et Gestion de Constraintes d'Intégrité dans le Language Thémis.

Véronique Benzaken, Anne Doucet, P.-Y. Policella

Proceedings of the Neuvièmes Journées Bases de Données Avancées, 1993

1992

Enforcing Integrity Constraints in Database Programming Languages.

Véronique Benzaken, Christophe Lécluse, Philippe Richard

Proceedings of the Persistent Object Systems, 1992

Schema Manipulation and Optimisation

Véronique Benzaken

Proceedings of the Persistent Object Systems, 1992

Enforcement tests generation for integrity constraints cheching based on simplification methods in object-oriented database systems.

Véronique Benzaken, Anne Doucet

Proceedings of the VIIIèmes Journées Bases de Données Avancées, 1992

Clustering Strategies in O2: An Overview.

Véronique Benzaken, Claude Delobel, Gilbert Harrus

Proceedings of the Building an Object-Oriented Database System, The Story of O2, 1992

1990

Enhancing Performance in a Persistent Object Store: Clustering Strategies in O₂.

Véronique Benzaken, Claude Delobel

Proceedings of the Implementing Persistent Object Bases, 1990

An Evaluation Model for Clustering Strategies in the O2 Object-Oriented Database System.

Véronique Benzaken

Proceedings of the ICDT'90, 1990

Un modèle d'évaluation de stratégies de regroupement dans un SGBDOO.

Véronique Benzaken

Proceedings of the Sixièmes Journées Bases de Données Avancées, 1990

1989

Regroupement d'objets sur disque dans un système de bases de données.

Véronique Benzaken, Claude Delobel

Proceedings of the Cinquièmes Journées Bases de Données Avancées, 1989

1988

The Design and Implementation of O₂, an Object-Oriented Database Systems.

François Bancilhon, Gilles Barbedette, Véronique Benzaken, Claude Delobel, Sophie Gamerman, Christophe Lécluse, Patrick Pfeffer, Philippe Richard, Fernando Vélez

Proceedings of the Advances in Object-Oriented Database Systems, 1988

Gestionnaires de mémoires et d'objets.

Véronique Benzaken, Claude Delobel, J. B. Ndala

Proceedings of the Quatrièmes Journées Bases de Données Avancées, 1988