Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Aurèle Barrière
conf.researchr.org general profile
ICFP 2024 profile
ICFP 2026 profile
ICFP 2027 profile
ICFP/SPLASH 2025 profile
PLDI 2022 profile
PLDI 2024 profile
POPL 2020 profile
POPL 2021 profile
POPL 2023 profile
POPL 2024 profile
POPL 2025 profile
POPL 2026 profile
POPL 2027 profile
SPLASH 2022 profile
SPLASH 2024 profile
Registered user since Fri 31 Jan 2020
Name:
Aurèle Barrière
Country:
France
Affiliation:
CNRS
Personal website:
https://aurele-barriere.github.io/
GitHub:
https://github.com/Aurele-Barriere
Contributions
2027
ICFP
Artifact Evaluation Co-Chair in Organizing Committee
POPL
Committee Member in Program Committee within the POPL-track
Student Volunteer Co-Chair in Organizing Committee
2026
ICFP
Author of JavaScript Regular Expression Matching is PSPACE-Complete within the ICFP SRC-track
POPL
Student Volunteer Co-Chair in Organizing Committee
Author of Formal Verification for JavaScript Regular Expressions: A Proven Mechanized Semantics and Its Applications within the POPL-track
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
Author of Linear Matching of JavaScript Regular Expressions within the PLDI Research Papers-track
Local Arrangements Co-Chair in Organizing Committee within the SRC-track
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
Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
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
Share
x
Fri 23 Oct 04:28