Author

Clément Pit-Claudel

h-index 7 View on Semantic Scholar

We have 2 of 11 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#software testing Open access Oct 2026

A Language Approach to Fine-Grained Microarchitectural Observation

Analyzing, understanding, and validating the performance of modern processors present significant challenges. These stem from two primary issues. First, it is difficult to construct “performance tests” that can test precisely scoped hypotheses about microarchitectural behavior. Second, it is difficult to make sense of...

Guo-Kai Chen, Sergi Soler Arrufat, Clément Pit-Claudel et al. · Proceedings of the ACM on Pr... · 0 citations

Conference 2026

Formally Verified Certification of Constraint Programming Proofs

This work presents a formal definition of DRCP, a proof system for CP over integer domains that captures core solver operations, including conflict analysis and heterogeneous propagation, by modular inference rules with precise semantics and develops FznDrcpCheck, a formally verified proof checker in Rocq that validate...

Maarten Flippo, K. Sidorov, Tip ten Brink et al. · International Conference on... · 1 citation