Véronique Benzaken
Présentation
Publications
Publications
|
|
Translating canonical SQL to imperative code in CoqProceedings of the ACM on Programming Languages, 2022, 6 (OOPSLA1), pp.1-27. ⟨10.1145/3527327⟩ |
|
|
Optimizing XML Querying using Type-based Document ProjectionACM Transactions on Database Systems, 2013, 38 (1), pp.1-45 |
Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation typesJournal of the ACM (JACM), 2008, 55 (4), pp.1-64. ⟨10.1145/1391289.1391293⟩ |
|
Static verification of dynamical integrity constraints: a semantics based approachNetworking and Information System Journal, 2000, pp.1 |
|
Thémis: a Database Programming Language Handling Integrity ConstraintsThe VLDB Journal, 1995, pp.1 |
|
|
A Coq formalization of data provenanceCertified Programs and Proofs, ACM, Jan 2021, Virtual Event, Denmark. ⟨10.1145/3437992.3439920⟩ |
|
|
Vers une formalisation en Coq de la provenance de données31ème Journées Francophones des Langages Applicatifs, Jan 2020, Gruissan, France. pp.72-87 |
|
|
SQL à l'épreuve de Coq Une sémantique formelle pour SQLJournées Francophones des Langages Applicatifs (JFLA), Jan 2019, Les Rousses, France |
|
|
A Coq Mechanised Formal Semantics for Realistic SQL QueriesCPP 19, ACM, Jan 2019, Cascais, Portugal. pp.249-261, ⟨10.1145/3293880.3294107⟩ |
|
|
A Coq formalisation of SQL's execution enginesITP 2018 - International Conference on Interactive Theorem Proving, Jul 2018, Oxford, United Kingdom. pp.88-107, ⟨10.1007/978-3-319-94821-8_6⟩ |
|
|
Language-Integrated Queries: a BOLDR ApproachWWW 2018 - International World Wide Web Conference, Apr 2018, Lyon, France. pp.1-16, ⟨10.1145/3184558.3185973⟩ |
|
|
Certifying Standard and Stratified Datalog Inference Engines in SSReflectInternational Conference on Interective Theorem Proving, 2017, Brasilia, Brazil |
|
|
A Core Calculus for XQuery 3.0ESOP ’15 : 24th European Symposium on Programming, 2015, London, United Kingdom. ⟨10.1007/978-3-662-46669-8_10⟩ |
A Coq Formalization of the Relational Data ModelESOP - 23rd European Symposium on Programming, Apr 2014, Grenoble, France |
|
|
|
Static and dynamic semantics of NoSQL languagesPOPL, Jan 2013, Rome, Italy. pp.101-114, ⟨10.1145/2429069.2429083⟩ |
|
|
Provenance Management in the EdiFlow VA WorkflowCHI 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 |
|
|
EdiFlow: data-intensive interactive workflows for visual analyticsInternational conference on Data Engineering, IEEE, Apr 2011, Hannover, Germany. ⟨10.1109/ICDE.2011.5767914⟩ |
|
|
EdiFlow: data-intensive interactive workflows for visual analyticsJournées Bases de Données Avancées, Oct 2010, Toulouse, France |
|
|
ReaViz: Reactive Workflows for Visual AnalyticsData Management & Visual Analytics, Jun 2009, Berlin, Germany |
|
|
Reactive workflows for visual analyticsJournées Bases de Données Avancées, Oct 2009, Naumur, Belgium |
Pattern by example: type-driven visual programming of XML queriesPPDP: ACM SIGPLAN Conference on Principles and practice of declarative programming, 2008, Spain. pp.131-142, ⟨10.1145/1389449.1389466⟩ |
|
Pattern by Example: type-driven visual programming of XML queries23èmes Journées Bases de Données Avancées, Oct 2007, France |
|
Type-Based XML Projection2006, pp.271-282 |
|
A Full Pattern-based Paradigm for XML Query Processing2005, pp.235-252 |
|
Information flow security for XML transformations2003, pp.33-53 |
|
CDuce: an XML-Centric General-Purpose Language2003, pp.51-63 |
|
Vérification statique de contraintes d'intégrité dynamiques: une approche sémantiqueBases de Données Avancées, 1999, France. pp.283 - 301 |
|
Static management of integrity constraint in object-oriented database systems: design and implementationInternational Conference on Extended Data Base Technology, 1998, Spain. pp.1 |
|
Static Integrity constraint management in object-oriented database programming languages via predicate transformersEuropean Conference on Object-Oriented Programming, 1997, Finland. pp.1 |
|
Ensuring efficiently the integrity of a persistent object store via abstract interpretationInternational Workshop on Persistent Object Systems, 1996, United States. pp.1 |
|
Integrity constraint checking optimization based on abstract interpretationPRC BD3, 1994, France. pp.1 |
|
Thémis, a database programming language with integrity constraintsData Base Programming Language (DBPL), Aug 1993, New York, United States |
|
Définition et gestion de contraintes d'intégrité dans le langage ThémisPRC BD3, 1993, France. pp.1 |
XML TypecheckingThe Encyclopedia of Database Systems, Springer, pp.3646-3650, 2009 |
|
Bases de données orientées objets: origines et principesCollection Acquis Avancés de l'Informatique, Armand-Colin, pp.1, 1993 |
ℂDuce User's Manual2011 |
|
ℂDuce Tutorial2007 |
|
|
|
Algebra-based extraction of tree patterns in XQuery2006 |
|
|
A Coq mechanised formal semantics for realistic SQL queries * Formally reconciling SQL and bag relational algebra2018 |
|
|
SQLCert: Coq mechanisation of SQL's compilation: Formally reconciling SQL and (relational) algebra2016 |
|
|
Structured Materialized Views for XML Queries[Research Report] 2006, pp.23 |