ICFP 2021
Sun 22 - Sat 28 August 2021
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
Research interests:OCaml, Distributed systems, Formal methods, Runtime Assertion Checking, Software Engineering

Contributions

OCaml 2021 Leveraging Formal Specifications to Generate Fuzzing Suites
Show activities from other conferences

ICFP 2021-profile
View general profile