Basile Pesin

According to our database, Basile Pesin authored at least 7 papers between 2019 and 2023.

Collaborative distances:

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

2023

Programming microcontrollers through high-level abstractions: The OMicroB project.

Steven Varoumas, Basile Pesin, Benoît Vaugon, Emmanuel Chailloux

J. Comput. Lang., November, 2023

Verified Compilation of Synchronous Dataflow with State Machines.

Timothy Bourke, Basile Pesin, Marc Pouzet

ACM Trans. Embed. Comput. Syst., October, 2023

2021

Verified Lustre Normalization with Node Subsampling.

Timothy Bourke, Paul Jeanmaire, Basile Pesin, Marc Pouzet

ACM Trans. Embed. Comput. Syst., 2021

2020

Programming microcontrollers through high-level abstractions.

Steven Varoumas, Basile Pesin, Benoît Vaugon, Emmanuel Chailloux

Proceedings of the VMIL@SPLASH 2020: Proceedings of the 12th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, 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