Aurèle Barrière

Publications

Citations

H-Index

2021

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

Institut de Recherche en Informatique et Systèmes Aléatoires

Université de Rennes

Aurèle Barrière is an author at Centre National de la Recherche Scientifique specializing in formal verification, engineering, and automated reasoning.

ORCID

Top concepts

CompilersEngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationComputer Engineering

Publications per year

2021–2023

Publications

Formally verified speculation and deoptimization in a JIT compiler

Aurèle Barrière, Sandrine Blazy, Olivier Flückiger et al. · Proceedings of the ACM on Programming Languages · 2021 · 35 citations · Full text

Engineering, Compiler Technology, Verification +17

Formally Verified Native Code Generation in an Effectful JIT: Turning the CompCert Backend into a Formally Verified JIT Compiler

Aurèle Barrière, Sandrine Blazy, David Pichardie · Proceedings of the ACM on Programming Languages · 2023 · 25 citations · Full text

Engineering, Compcert Backend, Compiler Technology +22

Rows per page

1–2 of 2