Vincent Botbol

According to our database, Vincent Botbol authored at least 6 papers between 2013 and 2022.

Collaborative distances:

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

2022

Automatic Synthesis of Random Generators for Numerically Constrained Algebraic Recursive Types.

Ghiles Ziat, Vincent Botbol, Matthieu Dien, Arnaud Gotlieb, Martin Pépin, Catherine Dubois

CoRR, 2022

Abstract interpretation of Michelson smart-contracts.

Guillaume Bau, Antoine Miné, Vincent Botbol, Mehdi Bouaziz

Proceedings of the SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2022

2021

Automated Random Testing of Numerical Constrained Types.

Ghiles Ziat, Matthieu Dien, Vincent Botbol

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

2018

Analyse statique de programmes concurrents avec variables numériques. (Static analysis of concurrent programs with numerical variables).

Vincent Botbol

PhD thesis, 2018

2017

Static Analysis of Communicating Processes Using Symbolic Transducers.

Vincent Botbol, Emmanuel Chailloux, Tristan Le Gall

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

2013

Static typing & JavaScript libraries: towards a more considerate relationship.

Benjamin Canou, Emmanuel Chailloux, Vincent Botbol

Proceedings of the 22nd International World Wide Web Conference, 2013