Basile Pesin

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 10

Top Topics

English Language

Operational Semantics

Fully Functional

Top Venues

ACM Trans. Embed. Comput. Syst.

FM Workshops (1)

Financial Cryptography Workshops

Publications

Timothy Bourke, Basile Pesin, Marc Pouzet
Verified Compilation of Synchronous Dataflow with State Machines. ACM Trans. Embed. Comput. Syst. 22 (5s) (2023)
Steven Varoumas, Basile Pesin, Benoît Vaugon, Emmanuel Chailloux
Programming microcontrollers through high-level abstractions: The OMicroB project. J. Comput. Lang. 77 (2023)
Timothy Bourke, Paul Jeanmaire, Basile Pesin, Marc Pouzet
Verified Lustre Normalization with Node Subsampling. ACM Trans. Embed. Comput. Syst. 20 (5s) (2021)
Bruno Bernardo, Raphaël Cauderlier, Guillaume Claret, Arvid Jakobsson, Basile Pesin, Julien Tesson
Making Tezos smart contracts more reliable with Coq. CoRR (2021)
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)
Steven Varoumas, Basile Pesin, Benoît Vaugon, Emmanuel Chailloux
Programming microcontrollers through high-level abstractions. VMIL@SPLASH (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)