Clément Pascutto

According to our database, Clément Pascutto authored at least 2 papers between 2021 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2022

Optimizing Prestate Copies in Runtime Verification of Function Postconditions.

Jean-Christophe Filliâtre, Clément Pascutto

Proceedings of the Runtime Verification - 22nd International Conference, 2022

2021

Ortac: Runtime Assertion Checking for OCaml (Tool Paper).

Jean-Christophe Filliâtre, Clément Pascutto

Proceedings of the Runtime Verification - 21st International Conference, 2021