Alexandre Bérard
Publication Activity (10 Years)
Years Active: 2018-2024
Publications (10 Years): 11
Publications (10 Years): 11
Publications
- Kelly Marchisio, Wei-Yin Ko, Alexandre Bérard, Théo Dehaze, Sebastian Ruder
- 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