Search - Université Paris-Saclay Access content directly

Filter your results

32 Results
authIdHal_s : veronique-benzaken
Image document

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
Conference papers hal-01952023v1
Image document

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
Conference papers hal-00690156v1
Image document

ReaViz: Reactive Workflows for Visual Analytics

Ioana Manolescu , Wael Khemiri , Véronique Benzaken , Jean-Daniel Fekete
Data Management & Visual Analytics, Jun 2009, Berlin, Germany
Conference papers hal-00699063v1

XML Typechecking

Giuseppe Castagna , Véronique Benzaken , Haruo Hosoya , Benjamin C. Pierce , Stijn Vansummeren
The Encyclopedia of Database Systems, Springer, pp.3646-3650, 2009
Book sections hal-00434495v1

A Full Pattern-based Paradigm for XML Query Processing

Véronique Benzaken , Giuseppe Castagna , Cédric Miachon
2005, pp.235-252
Conference papers hal-00152591v1

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⟩
Conference papers hal-00336118v1
Image document

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⟩
Conference papers hal-00797956v1

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
Conference papers hal-01501816v1
Image document

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
Conference papers hal-01745566v1
Image document

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
Conference papers hal-03080066v1
Image document

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
Conference papers inria-00532552v1
Image document

Algebra-based extraction of tree patterns in XQuery

Andrei Arion , Veronique Benzaken , Ioana Manolescu , Yannis Papakonstantinou , Ravi Vijay
2006
Other publications inria-00001147v1
Image document

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
Conference papers inria-00425666v1
Image document

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⟩
Conference papers hal-01955433v1
Image document

Translating canonical SQL to imperative code in Coq

Véronique Benzaken , Évelyne Contejean , Mohammed Houssem Hachmaoui , Chantal Keller , Louis Mandel , et al.
Proceedings of the ACM on Programming Languages, 2022, 6 (OOPSLA1), pp.1-27. ⟨10.1145/3527327⟩
Journal articles hal-03876233v1

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
Conference papers hal-00695245v1
Image document

Structured Materialized Views for XML Queries

Ioana Manolescu , Veronique Benzaken , Andrei Arion , Yannis Papakonstantinou
[Research Report] 2006, pp.23
Reports inria-00001233v6

Type-Based XML Projection

Véronique Benzaken , Giuseppe Castagna , Dario Colazzo , Kim Nguyen
2006, pp.271-282
Conference papers hal-00152588v1

Information flow security for XML transformations

Véronique Benzaken , Marwan Burelle , Giuseppe Castagna
2003, pp.33-53
Conference papers hal-00152613v1

ℂDuce Tutorial

Véronique Benzaken , Giuseppe Castagna , Alain Frisch
2007
Other publications hal-00699610v1
Image document

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
Journal articles hal-00798049v1
Image document

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⟩
Conference papers hal-01716048v1
Image document

A Coq mechanised formal semantics for realistic SQL queries * Formally reconciling SQL and bag relational algebra

Véronique Benzaken , Évelyne Contejean
2018
Preprints, Working Papers, ... hal-01830255v2
Image document

SQLCert: Coq mechanisation of SQL's compilation: Formally reconciling SQL and (relational) algebra

Véronique Benzaken , Evelyne Contejean
2016
Preprints, Working Papers, ... hal-01487062v1

CDuce: an XML-Centric General-Purpose Language

Véronique Benzaken , Giuseppe Castagna , Alain Frisch
2003, pp.51-63
Conference papers hal-00152619v1
Image document

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
Conference papers inria-00539718v2
Image document

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⟩
Conference papers hal-03380459v1
Image document

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⟩
Conference papers hal-01104872v1

ℂDuce User's Manual

Véronique Benzaken , Giuseppe Castagna , Julien Demouth , Alain Frisch , Cédric Miachon , et al.
2011
Other publications hal-00699615v1
Image document

Language-Integrated Queries: a BOLDR Approach

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