Evelyne Contejean -

Registered user since Mon 5 Nov 2018

Name:Evelyne Contejean

Contributions

SPLASH 2022	Author of Translating canonical SQL to imperative code in Coq within the OOPSLA-track
CPP 2022	Committee Member in Program Committee within the CPP 2022-track
CPP 2021	Author of A Coq Formalization of Data Provenance within the CPP 2021-track
ICFP 2019	Committee Member in External Review Committee within the Research Papers-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
PEPM 2016	Committee Member in Program Committee within the PEPM-track