Aurèle Barrière -

Registered user since Fri 31 Jan 2020

Name:Aurèle Barrière

Country:Switzerland

Affiliation:EPFL

Personal website: https://aurele-barriere.github.io/

GitHub: https://github.com/Aurele-Barriere

Contributions

2025

PriSC

Committee Member in Program Committee within the PriSC 2025-track

ICFP

Committee Member in ICFP Programme Committee within the ICFP Papers-track

2024

SPLASH

Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track

ICFP

Author of A Coq Mechanization of JavaScript Regular Expression Semantics within the ICFP Papers and Events-track
Author of A Coq Mechanization of JavaScript Regular Expression Semantics within the Artifact Evaluation-track

PLDI

POPL

Session Chair of Wednesday Lunch Session Previews (part of Session Previews)

2023

POPL

Author of Formally Verified Native Code Generation in an Effectful JIT: Turning the CompCert Backend into a Formally Verified JIT Compiler within the POPL-track

2022

SPLASH

PLDI

Author of (POPL 2021) Formally Verified Speculation and Deoptimization in a JIT Compiler within the SIGPLAN Track-track

2021

POPL

Author of Formally Verified Speculation and Deoptimization in a JIT Compiler within the POPL-track

2020

CoqPL

Author of Towards Formally Verified Just-in-Time compilation within the CoqPL-track