Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Evelyne Contejean
conf.researchr.org general profile
ICFP 2019 profile
ICFP 2024 profile
POPL 2016 profile
POPL 2019 profile
POPL 2021 profile
POPL 2022 profile
SPLASH 2022 profile
Registered user since Mon 5 Nov 2018
Name:
Evelyne Contejean
Contributions
2024
ICFP
PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
2022
SPLASH
Author of Translating canonical SQL to imperative code in Coq within the OOPSLA-track
CPP
Committee Member in Program Committee within the CPP 2022-track
2021
CPP
Author of A Coq Formalization of Data Provenance within the CPP 2021-track
2019
ICFP
Committee Member in External Review Committee within the Research Papers-track
CPP
Author of A Coq Mechanised Formal Semantics for Realistic SQL Queries - Formally Reconciling SQL and Bag Relational Algebra within the CPP 2019-track
2016
PEPM
Committee Member in Program Committee within the PEPM-track
Share
x
Tue 3 Dec 17:50