Alexandre Bérard
ORCIDPublication Activity (10 Years)
Years Active: 2018-2023
Publications (10 Years): 9
Publications (10 Years): 9
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)
- Alexandre Bérard, Ioan Calapodescu, Claude Roux
- Alexandre Bérard, Laurent Besacier, Ali Can Kocabiyikoglu, Olivier Pietquin