Sylvain Boulmé
Publication Activity (10 Years)
Years Active: 1999-2023
Publications (10 Years): 9
Publications (10 Years): 9
Publications
- David Monniaux, Léo Gourdin, Sylvain Boulmé, Olivier Lebeltel
- Léo Gourdin, Benjamin Bonneau, Sylvain Boulmé, David Monniaux, Alexandre BérardFormally Verifying Optimizations with Block Simulations. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
- David Monniaux, Sylvain Boulmé
- David Monniaux, Sylvain Boulmé
- Cyril Six, Léo Gourdin, Sylvain Boulmé, David Monniaux, Justus Fasse, Nicolas Nardino
- Cyril Six, Sylvain Boulmé, David Monniaux
- Sylvain Boulmé, Alexandre Maréchal
- Sylvain Boulmé, Alexandre Maréchal, David Monniaux, Michaël Périn, Hang Yu
- Alexis Fouilhé, Sylvain Boulmé
- Asma Tafat, Sylvain Boulmé, Claude Marché
- Sylvain Boulmé, Marie-Laure Potet
- Sylvain Boulmé
- Virgile Prevosto, Sylvain Boulmé
- Sylvain Boulmé, Grégoire Hamon