conf.researchr.org / Véronique Benzaken
Véronique Benzaken

Registered user since Thu 3 May 2018

Name:Véronique Benzaken
Country:France
Affiliation:Université Paris-Saclay - Laboratoire de Méthodes Formelles
Personal website:https://www.lri.fr/~benzaken/
Research interests:Data centric languages, Deep Specification with Proof Assistants

Contributions

SPLASH 2022 Author of Translating canonical SQL to imperative code in Coq within the OOPSLA-track
CPP 2021 Author of A Coq Formalization of Data Provenance within the CPP 2021-track
CPP 2019 Author of A Coq Mechanised Formal Semantics for Realistic SQL Queries - Formally Reconciling SQL and Bag Relational Algebra within the CPP 2019-track
DBPL 2015 Committee Member in Program Committee within the DBPL-track
ESOP 2015 Author of A Core Calculus for XQuery 3.0: Combining Navigational and Pattern Matching Approaches within the ESOP-track