Clément Pit-Claudel

According to our database1, Clément Pit-Claudel authored at least 11 papers between 2015 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Untangling mechanized proofs.
Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, 2020

The essence of Bluespec: a core language for rule-based hardware design.
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

2019
Narcissus: correct-by-construction derivation of decoders and encoders from binary formats.
Proc. ACM Program. Lang., 2019

Meta-F ^\star : Proof Automation with SMT, Tactics, and Metaprograms.
Proceedings of the Programming Languages and Systems, 2019

2018
Meta-F*: Metaprogramming and Tactics in an Effectful Program Verifier.
CoRR, 2018

Narcissus: Deriving Correct-By-Construction Decoders and Encoders from Binary Formats.
CoRR, 2018

Correct-by-Construction Implementation of Runtime Monitors Using Stepwise Refinement.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2018

2017
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

2016
Trigger Selection Strategies to Stabilize Program Verifiers.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015
Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant.
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015


  Loading...