Armaël Guéneau -

Registered user since Wed 7 Mar 2018

Name:Armaël Guéneau

Country:France

Affiliation:Université Paris-Saclay - CNRS - ENS Paris-Saclay - Inria

Contributions

2024

HOPE

Committee Member in Program Committee within the HOPE 2024-track

OCaml

Co-chair in Program Committee within the OCaml Users and Developers Workshop 2024-track

CoqPL

Invited Speaker of Melocoton: A Program Logic for Verified Interoperability Between OCaml and C (Invited Talk) within the CoqPL 2024-track

POPL

Author of Thunks and Debits in Separation Logic with Time Credits within the POPL-track
Author of The Logical Essence of Well-Bracketed Control Flow within the POPL-track

2023

SPLASH

Author of Melocoton: A Program Logic for Verified Interoperability Between OCaml and C within the OOPSLA-track

2022

ML

Committee Member in Program Committee within the ML-track

2018

ICFP

Committee Member in Artifact Evaluation Committee within the Research Artifacts-track