Raphaël Cauderlier

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