Vincent Botbol

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 6

Top Topics

Uniformly Distributed

Abstract Interpretation

Dynamic Analysis

Top Venues

WWW (Companion Volume)

Publications

Guillaume Bau, Antoine Miné, Vincent Botbol, Mehdi Bouaziz
Abstract interpretation of Michelson smart-contracts. CoRR (2022)
Ghiles Ziat, Vincent Botbol, Matthieu Dien, Arnaud Gotlieb, Martin Pépin, Catherine Dubois
Automatic Synthesis of Random Generators for Numerically Constrained Algebraic Recursive Types. CoRR (2022)
Guillaume Bau, Antoine Miné, Vincent Botbol, Mehdi Bouaziz
Abstract interpretation of Michelson smart-contracts. SOAP@PLDI (2022)
Ghiles Ziat, Matthieu Dien, Vincent Botbol
Automated Random Testing of Numerical Constrained Types. CP (2021)
Vincent Botbol, Emmanuel Chailloux, Tristan Le Gall
Static Analysis of Communicating Processes Using Symbolic Transducers. VMCAI (2017)
Vincent Botbol, Emmanuel Chailloux, Tristan Le Gall
Static Analysis of Communicating Processes using Symbolic Transducers. CoRR (2016)
Benjamin Canou, Emmanuel Chailloux, Vincent Botbol
Static typing & JavaScript libraries: towards a more considerate relationship. WWW (Companion Volume) (2013)