Clément Pit-Claudel

Fiat

Benjamin Delaware, Clément Pit-Claudel, Jason Gross et al. · 2014 · 87 citations

Coq Proof Assistant, Formal Specification, Engineering +14

The essence of Bluespec: a core language for rule-based hardware design

Thomas Bourgeat, Clément Pit-Claudel, Adam Chlipala et al. · 2020 · 46 citations · Full text

Hardware Modeling, Engineering, Hardware Verification Language +27

Outlier Detection in Heterogeneous Datasets using Automatic Tuple Expansion

Clément Pit-Claudel, Zelda Mariet, R.T. Harding et al. · DSpace@MIT (Massachusetts Institute of Technology) · 2016 · 39 citations

Narcissus: correct-by-construction derivation of decoders and encoders from binary formats

Benjamin Delaware, Sorawit Suriyakarn, Clément Pit-Claudel et al. · Proceedings of the ACM on Programming Languages · 2019 · 25 citations · Full text

Engineering, Verification, Iterative Decoding +18

Relational compilation for performance-critical applications: extensible proof-producing translation of functional models into low-level code

Clément Pit-Claudel, Jade Philipoom, Dustin Jamner et al. · 2022 · 23 citations · Full text

Functional Models, Engineering, Verification +24