• Sign in
  • Sign up
conf.researchr.org / Armaël Guéneau
  • ICFP 2018 profile
  • ICFP 2022 profile
  • ICFP 2024 profile
  • POPL 2024 profile
  • SPLASH 2023 profile
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
Share
xSat 24 May 14:21
using conf.researchr.org (v1.69.0)
Support page
Sign Up