Raphaël Cauderlier

According to our database, Raphaël Cauderlier authored at least 16 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Dedukti: a Logical Framework based on the λΠ-Calculus Modulo Theory.

Ali Assaf, Guillaume Burel, Raphaël Cauderlier, David Delahaye, Gilles Dowek, Catherine Dubois, Frédéric Gilbert, Pierre Halmagrand, Olivier Hermant, Ronan Saillard

CoRR, 2023

2020

First-Order Automated Reasoning with Theories: When Deduction Modulo Theory Meets Practice.

Guillaume Burel, Guillaume Bury, Raphaël Cauderlier, David Delahaye, Pierre Halmagrand, Olivier Hermant

J. Autom. Reason., 2020

Making Tezos Smart Contracts More Reliable with Coq.

Bruno Bernardo, Raphaël Cauderlier, Guillaume Claret, Arvid Jakobsson, Basile Pesin, Julien Tesson

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

Albert, An Intermediate Smart-Contract Language for the Tezos Blockchain.

Bruno Bernardo, Raphaël Cauderlier, Basile Pesin, Julien Tesson

Proceedings of the Financial Cryptography and Data Security, 2020

2019

Mi-Cho-Coq, a Framework for Certifying Tezos Smart Contracts.

Bruno Bernardo, Raphaël Cauderlier, Zhenlei Hu, Basile Pesin, Julien Tesson

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2018

A Verified Implementation of the Bounded List Container.

Raphaël Cauderlier, Mihaela Sighireanu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Tactics and Certificates in Meta Dedukti.

Raphaël Cauderlier

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

2017

FoCaLiZe and Dedukti to the Rescue for Proof Interoperability.

Raphaël Cauderlier, Catherine Dubois

Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017

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

PhD thesis, 2016

A Rewrite System for Proof Constructivization.

Raphaël Cauderlier

Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2016

ML Pattern-Matching, Recursion, and Rewriting: From FoCaLiZe to Dedukti.

Raphaël Cauderlier, Catherine Dubois

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

2015

Checking Zenon Modulo Proofs in Dedukti.

Raphaël Cauderlier, Pierre Halmagrand

Proceedings of the Proceedings Fourth Workshop on Proof eXchange for Theorem Proving, 2015

Mixing HOL and Coq in Dedukti (Extended Abstract).

Ali Assaf, Raphaël Cauderlier

Proceedings of the Proceedings Fourth Workshop on Proof eXchange for Theorem Proving, 2015

Implementing Polymorphism in Zenon.

Guillaume Bury, Raphaël Cauderlier, Pierre Halmagrand

Proceedings of the IWIL@LPAR 2015, 2015

2014

Objects and Subtyping in the Lambda-Pi-Calculus Modulo.

Raphaël Cauderlier, Catherine Dubois

Proceedings of the 20th International Conference on Types for Proofs and Programs, 2014

2011

Conditional Reactive Systems.

H. J. Sander Bruggink, Raphaël Cauderlier, Mathias Hülsbusch, Barbara König

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2011