Aurèle Barrière

14 papers A* 1A 1Journal 11
YearRankTypeTitle / Venue / Authors
2026 J jnl
Formal Verification for JavaScript Regular Expressions: A Proven Mechanized Semantics and Its Applications.
Proc. ACM Program. Lang.
Aurèle Barrière, Victor Deng, Clément Pit-Claudel
2026 J jnl
On the computational complexity of JavaScript regex matching.
CoRR
Victor Deng, Aurèle Barrière, Clément Pit-Claudel
2025 J jnl
Formal Verification for JavaScript Regular Expressions: a Proven Semantics and its Applications.
CoRR
Aurèle Barrière, Victor Deng, Clément Pit-Claudel
2024 J jnl
A Coq Mechanization of JavaScript Regular Expression Semantics.
CoRR
Noé De Santo, Aurèle Barrière, Clément Pit-Claudel
2024 J jnl
A Coq Mechanization of JavaScript Regular Expression Semantics.
Proc. ACM Program. Lang.
Noé De Santo, Aurèle Barrière, Clément Pit-Claudel
2024 J jnl
Linear Matching of JavaScript Regular Expressions.
Proc. ACM Program. Lang.
Aurèle Barrière, Clément Pit-Claudel
2023 J jnl
Formally Verified Native Code Generation in an Effectful JIT: Turning the CompCert Backend into a Formally Verified JIT Compiler.
Proc. ACM Program. Lang.
Aurèle Barrière, Sandrine Blazy, David Pichardie
2023 J jnl
Linear Matching of JavaScript Regular Expressions.
CoRR
Aurèle Barrière, Clément Pit-Claudel
2022 — —
Formal Verification of Just-in-Time Compilation. (Vérification Formelle de Compilation à la Volée).
Aurèle Barrière
2022 J jnl
Formally Verified Native Code Generation in an Effectful JIT - or: Turning the CompCert Backend into a Formally Verified JIT Compiler.
CoRR
Aurèle Barrière, Sandrine Blazy, David Pichardie
2021 J jnl
Formally verified speculation and deoptimization in a JIT compiler.
Proc. ACM Program. Lang.
Aurèle Barrière, Sandrine Blazy, Olivier Flückiger, David Pichardie, Jan Vitek
2019 A conf
Reasoning about Changes of Observational Power in Logics of Knowledge and Time.
AAMAS
Aurèle Barrière, Bastien Maubert, Aniello Murano, Sasha Rubin
2018 A* conf
Changing Observations in Epistemic Temporal Logic.
KR
Aurèle Barrière, Bastien Maubert, Aniello Murano, Sasha Rubin
2018 J jnl
Changing Observations in Epistemic Temporal Logic.
CoRR
Aurèle Barrière, Bastien Maubert, Aniello Murano, Sasha Rubin