conf.researchr.org / Clément Pascutto
Registered user since Mon 31 May 2021
Name:Clément Pascutto
Country:France
Affiliation:Tarides, Université Paris-Saclay, CNRS, ENS Paris-Saclay, LMF
Personal website:https://www.pascutto.fr
GitHub:https://github.com/pascutto
Research interests:OCaml, Distributed systems, Formal methods, Runtime Assertion Checking, Software Engineering
Contributions
| OCaml 2021 | Author of Leveraging Formal Specifications to Generate Fuzzing Suites within the OCaml 2021-track |
| OCaml 2020 | Author of Irmin v2 within the OCaml 2020-track |