• Sign in
  • Sign up
conf.researchr.org / Clément Allain
  • ICFP 2021 profile
  • ICFP 2024 profile
  • PLDI 2026 profile
  • POPL 2025 profile
  • POPL 2026 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

2026

PLDI

  • Author of A Verified Parallel Scheduler for OCaml 5 within the PLDI Research Papers-track

POPL

  • Author of Zoo: A Framework for the Verification of Concurrent OCaml 5 Programs using Separation Logic within the POPL-track

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 Family Workshop

  • Author of Isomorphisms are back! (short talk) within the ML 2021-track
Share
xFri 17 Apr 15:09
using conf.researchr.org (v1.73.2)
Support page
Sign Up