Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Arnaud Daby-Seesaram
conf.researchr.org general profile
ECOOP and ISSTA 2023 profile
ICFP 2023 profile
Registered user since Sat 5 Aug 2023
Name:
Arnaud Daby-Seesaram
Affiliation:
ENS Paris Saclay
Contributions
2023
OCaml
Author of Osiris: an Iris-based program logic for OCaml within the OCaml 2023-track
ECOOP
Author of Modular Verification of State-Based CRDTs in Separation Logic within the Research Papers-track
Share
x
Thu 7 Dec 21:14