Synthical
Your space
Profile
Activity
Favorites
Folders
Feeds
All articles
Claim page
Clément Pit-Claudel
Follow
Activity
Upvotes
Folders
Articles
5
Verified and Optimized Implementation of Orthologic Proof Search
Yesterday by
Simon Guilloud
and
Clément Pit-Claudel
Logic in Computer Science
A Coq Mechanization of JavaScript Regular Expression Semantics
26 July 2024 by
Niccolò Dal Santo
and
others
Programming Languages
Linear Matching of JavaScript Regular Expressions
23 July 2024 by
Aurèle Barrière
and
Clément Pit-Claudel
at
EPFL - EPF Lausanne
Programming Languages
,
Formal Languages and Automata Theory
Incremental Proof Development in Dafny with Module-Based Induction
25 January 2024 by
Son Ho
and
Clément Pit-Claudel
Programming Languages
Narcissus: Deriving Correct-By-Construction Decoders and Encoders from Binary Formats
28 November 2018 by
Benjamin Delaware
and
others
Programming Languages
Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms
12 July 2018 by
Guido Martínez
and
others
Programming Languages
,
Logic in Computer Science
This is an AI-generated summary
Key points
Topics
Programming Languages
Formal Languages and Automata Theory
Logic in Computer Science
