Basile Pesin

Orcid: 0000-0002-3575-7770

According to our database1, Basile Pesin authored at least 8 papers between 2019 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2019
2020
2021
2022
2023
2024
2025
0
1
2
3
4
2
1
1
3
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Formally Verified Hardening of C Programs against Hardware Fault Injection.
Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2025

2023
Programming microcontrollers through high-level abstractions: The OMicroB project.
J. Comput. Lang., November, 2023

Verified Compilation of Synchronous Dataflow with State Machines.
ACM Trans. Embed. Comput. Syst., October, 2023

2021
Verified Lustre Normalization with Node Subsampling.
ACM Trans. Embed. Comput. Syst., 2021

2020
Programming microcontrollers through high-level abstractions.
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.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

Albert, An Intermediate Smart-Contract Language for the Tezos Blockchain.
Proceedings of the Financial Cryptography and Data Security, 2020

2019
Mi-Cho-Coq, a Framework for Certifying Tezos Smart Contracts.
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019


  Loading...