Aurèle Barrière

3

Documents

Publications

Publications

Vignette du dépôt

Formally Verified Native Code Generation in an Effectful JIT - or: 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, 7 (POPL), pp.249-277. ⟨10.1145/3571202⟩

Article dans une revue (article de synthèse) hal-03882598v1

Vignette du dépôt

Formally verified speculation and deoptimization in a JIT compiler

Aurèle Barrière , Sandrine Blazy , Olivier Flückiger , David Pichardie , Jan Vitek

Proceedings of the ACM on Programming Languages, 2021, 5 (POPL), pp.26. ⟨10.1145/3434327⟩

Article dans une revue hal-03185848v1

Vignette du dépôt

On the computational complexity of JavaScript regex matching, in Rocq

Victor Deng , Aurèle Barrière , Clément Pit-Claudel

2026

Pré-publication, Document de travail hal-05775291v1

Chargement...