Concepedia

Sylvain Boulmé

SB

Statistics

Publications

5

Citations

67

H-Index

5

Active since

1999

Affiliations

Institut polytechnique de Grenoble(Current)

Université Grenoble Alpes

Centre National de la Recherche Scientifique

Sylvain Boulmé is an author at Institut polytechnique de Grenoble specializing in computer science, engineering, and program analysis.

Top concepts

EngineeringComputer ScienceVerificationFormal MethodsProgram AnalysisCompilersSoftware AnalysisAutomated ReasoningFormal VerificationComputer Engineering

Publications per year

1999–2023

5

Publications

5

Certified and efficient instruction scheduling: application to interlocked VLIW processors

Cyril Six, Sylvain Boulmé, David Monniaux · Proceedings of the ACM on Programming Languages · 2020 · 16 citations · Full text

Engineering, Compcert Backend, Compiler Technology +21

On the way to certify Computer Algebra Systems

Sylvain Boulmé, Thérèse Hardin, D. Hirschkoff et al. · Electronic Notes in Theoretical Computer Science · 1999 · 14 citations · Full text

Foc Project, Engineering, Computer Algebra Systems +16

The Verified Polyhedron Library: an Overview

Sylvain Boulmé, Alexandre Marechaly, David Monniaux et al. · 2018 · 13 citations · Full text

Mathematical Programming, Engineering, Geometry +18

Formally Verifying Optimizations with Block Simulations

Léo Gourdin, Benjamin Bonneau, Sylvain Boulmé et al. · Proceedings of the ACM on Programming Languages · 2023 · 13 citations · Full text

Block Simulations, Engineering, Compiler Technology +20

Formally verified superblock scheduling

Cyril Six, Léo Gourdin, Sylvain Boulmé et al. · 2022 · 11 citations · Full text

1–5 of 5