According to our database1, Clément Pit-Claudel authored at least 11 papers between 2015 and 2020.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, 2020
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020
Extensible Extraction of Efficient Imperative Programs with Foreign Functions, Manually Managed Memory, and Proofs.
Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020
Narcissus: correct-by-construction derivation of decoders and encoders from binary formats.
Proc. ACM Program. Lang., 2019
Proceedings of the Programming Languages and Systems, 2019
Narcissus: Deriving Correct-By-Construction Decoders and Encoders from Binary Formats.
Correct-by-Construction Implementation of Runtime Monitors Using Stepwise Refinement.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2018
The End of History? Using a Proof Assistant to Replace Language Design with Library Design.
Proceedings of the 2nd Summit on Advances in Programming Languages, 2017
Proceedings of the Computer Aided Verification - 28th International Conference, 2016
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015