Basile Pesin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2019–2026
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ITP | Certified Intersection of Commutative Regular Expressions as Solutions of Systems of Linear Diophantine Equations. | Ricardo Almeida, Blair Archibald, Basile Pesin, Michele Sevegnani |
| 2025 | CPP | Formally Verified Hardening of C Programs against Hardware Fault Injection. | Basile Pesin, Sylvain Boulm, David Monniaux, Marie-Laure Potet |
| 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 |
| 2020 | OOPSLA | Programming microcontrollers through high-level abstractions. | Steven Varoumas, Basile Pesin, Benot Vaugon, Emmanuel Chailloux |
| 2019 | FM | Mi-Cho-Coq, a Framework for Certifying Tezos Smart Contracts. | Bruno Bernardo, Raphal Cauderlier, Zhenlei Hu, Basile Pesin, Julien Tesson |