Guillaume Berthelot

Orcid: 0009-0004-9709-6121

According to our database¹, Guillaume Berthelot authored at least 1 paper in 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

Accelerating the Static Analysis of Neural Networks by Batch Representation of Abstract Values.

[DOI]

Proceedings of the 11th ACM SIGPLAN International Workshop on Libraries, 2025