Benjamin Bonneau
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 3
Publications (10 Years): 3
Publications
- Léo Gourdin, Benjamin Bonneau, Sylvain Boulmé, David Monniaux, Alexandre BérardFormally Verifying Optimizations with Block Simulations. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)