Clément Pit--Claudel | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Catalin Hritcu
15 publications
Aseem Rastogi
12 publications
Danel Ahman
10 publications
Benjamin Delaware
9 publications
Adam Chlipala
6 publications
Jonathan Protzenko
6 publications
Nikhil Swamy
5 publications
Guido Martínez
5 publications
Monal Narasimhamurthy
3 publications
Victor Dumitrescu
2 publications
Nick Giannarakis
2 publications

research

∙ 03/17/2018

Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms

Scripting proofs with tactics has been a tradition in interactive theore...

0 Guido Martínez, et al. ∙

research

∙ 03/17/2018

Meta-F*: Metaprogramming and Tactics in an Effectful Program Verifier

Verification tools for effectful programming languages often rely on aut...

0 Guido Martínez, et al. ∙

research

∙ 03/13/2018

Narcissus: Deriving Correct-By-Construction Decoders and Encoders from Binary Formats

Every injective function has an inverse, although constructing the inver...

0 Sorawit Suriyakarn, et al. ∙

Success!

An error occurred