Raphaël Cauderlier

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 13

Top Venues

CoRR

ITP

PxTP@CADE

FM Workshops (1)

Conservatoire national des arts et métiers, Paris, France (PHD)

Education History

Conservatoire national des arts et métiers, Paris, France

PHD

Publications

Ali Assaf, Guillaume Burel, Raphaël Cauderlier, David Delahaye, Gilles Dowek, Catherine Dubois, Frédéric Gilbert, Pierre Halmagrand, Olivier Hermant, Ronan Saillard
Dedukti: a Logical Framework based on the λΠ-Calculus Modulo Theory. CoRR (2023)
Bruno Bernardo, Raphaël Cauderlier, Guillaume Claret, Arvid Jakobsson, Basile Pesin, Julien Tesson
Making Tezos smart contracts more reliable with Coq. CoRR (2021)
Guillaume Burel, Guillaume Bury, Raphaël Cauderlier, David Delahaye, Pierre Halmagrand, Olivier Hermant
First-Order Automated Reasoning with Theories: When Deduction Modulo Theory Meets Practice. J. Autom. Reason. 64 (6) (2020)
Bruno Bernardo, Raphaël Cauderlier, Basile Pesin, Julien Tesson
Albert, An Intermediate Smart-Contract Language for the Tezos Blockchain. Financial Cryptography Workshops (2020)
Bruno Bernardo, Raphaël Cauderlier, Basile Pesin, Julien Tesson
Albert, an intermediate smart-contract language for the Tezos blockchain. CoRR (2020)
Bruno Bernardo, Raphaël Cauderlier, Guillaume Claret, Arvid Jakobsson, Basile Pesin, Julien Tesson
Making Tezos Smart Contracts More Reliable with Coq. ISoLA (3) (2020)
Bruno Bernardo, Raphaël Cauderlier, Zhenlei Hu, Basile Pesin, Julien Tesson
Mi-Cho-Coq, a framework for certifying Tezos Smart Contracts. CoRR (2019)
Bruno Bernardo, Raphaël Cauderlier, Zhenlei Hu, Basile Pesin, Julien Tesson
Mi-Cho-Coq, a Framework for Certifying Tezos Smart Contracts. FM Workshops (1) (2019)
Raphaël Cauderlier
Tactics and Certificates in Meta Dedukti. ITP (2018)
Raphaël Cauderlier, Mihaela Sighireanu
A Verified Implementation of the Bounded List Container. TACAS (1) (2018)
Raphaël Cauderlier, Catherine Dubois
FoCaLiZe and Dedukti to the Rescue for Proof Interoperability. ITP (2017)
Raphaël Cauderlier, Catherine Dubois
ML Pattern-Matching, Recursion, and Rewriting: From FoCaLiZe to Dedukti. ICTAC (2016)
Raphaël Cauderlier
A Rewrite System for Proof Constructivization. LFMTP (2016)
Guillaume Bury, Raphaël Cauderlier, Pierre Halmagrand
Implementing Polymorphism in Zenon. IWIL@LPAR (2015)
Raphaël Cauderlier, Pierre Halmagrand
Checking Zenon Modulo Proofs in Dedukti. PxTP@CADE (2015)
Ali Assaf, Raphaël Cauderlier
Mixing HOL and Coq in Dedukti (Extended Abstract). PxTP@CADE (2015)
Raphaël Cauderlier, Catherine Dubois
Objects and Subtyping in the Lambda-Pi-Calculus Modulo. TYPES (2014)
H. J. Sander Bruggink, Raphaël Cauderlier, Mathias Hülsbusch, Barbara König
Conditional Reactive Systems. FSTTCS (2011)

Raphaël Cauderlier.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Raphaël Cauderlier