Clément Pascutto

dblp:303/4073 · DBLP profile ↗
← Back
2ranked-venue papers
0as first author
2since 2021 · last 2022
0000-0002-5658-7731ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 2 · 2 since 2021
YearPublicationVenuePosition
2022 Optimizing Prestate Copies in Runtime Verification of Function Postconditions
Jean-Christophe Filliâtre, Clément Pascutto
RV2
2021 Ortac: Runtime Assertion Checking for OCaml (Tool Paper)
Jean-Christophe Filliâtre, Clément Pascutto
RV2