• Sign in
  • Sign up
conf.researchr.org / Clément Allain
  • ICFP 2021 profile
  • ICFP 2024 profile
  • POPL 2025 profile

Registered user since Wed 13 Nov 2024

Name:Clément Allain
Country:France
Affiliation:INRIA
Personal website: https://clef-men.github.io/
GitHub: https://github.com/clef-men

Contributions

2025

POPL

  • Author of Tail Modulo Cons, OCaml, and Relational Separation Logic within the POPL-track

2024

ICFP

  • Author of Snapshottable Stores within the ICFP Papers and Events-track

OCaml

  • Author of Saturn: a library of verified concurrent data structures for OCaml 5 within the OCaml Users and Developers Workshop 2024-track

2021

ML

  • Author of Isomorphisms are back! (short talk) within the ML 2021-track
Share
xMon 12 May 20:51
using conf.researchr.org (v1.69.0)
Support page
Sign Up