Raphal Cauderlier
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2015–2020
Best venue rank
B
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | FC | Albert, An Intermediate Smart-Contract Language for the Tezos Blockchain. | Bruno Bernardo, Raphal Cauderlier, Basile Pesin, Julien Tesson |
| 2020 | ISoLA | Making Tezos Smart Contracts More Reliable with Coq. | Bruno Bernardo, Raphal Cauderlier, Guillaume Claret, Arvid Jakobsson, Basile Pesin, Julien Tesson |
| 2019 | FM | Mi-Cho-Coq, a Framework for Certifying Tezos Smart Contracts. | Bruno Bernardo, Raphal Cauderlier, Zhenlei Hu, Basile Pesin, Julien Tesson |
| 2018 | ITP | Tactics and Certificates in Meta Dedukti. | Raphal Cauderlier |
| 2018 | TACAS | A Verified Implementation of the Bounded List Container. | Raphal Cauderlier, Mihaela Sighireanu |
| 2017 | ITP | FoCaLiZe and Dedukti to the Rescue for Proof Interoperability. | Raphal Cauderlier, Catherine Dubois |
| 2016 | ICTAC | ML Pattern-Matching, Recursion, and Rewriting: From FoCaLiZe to Dedukti. | Raphal Cauderlier, Catherine Dubois |
| 2015 | LPAR | Implementing Polymorphism in Zenon. | Guillaume Bury, Raphal Cauderlier, Pierre Halmagrand |