Concepedia

Léo Gourdin

LG

Statistics

Publications

2

Citations

24

H-Index

2

Active since

2022

Affiliations

Verimag(Current)

Centre National de la Recherche Scientifique

Institut polytechnique de Grenoble

Université Grenoble Alpes

Léo Gourdin is an author at Verimag specializing in formal verification, computer engineering, and automated reasoning.

ORCID

Top concepts

Publications per year

2022–2023

2

Publications

2

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

, , +20

Formally verified superblock scheduling

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

1–2 of 2