Aurèle Barrière

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 9

Top Topics

String Matching

Deterministic Finite Automata

Regular Expressions

Top Venues

Proc. ACM Program. Lang.

Publications

Aurèle Barrière, Clément Pit-Claudel
Linear Matching of JavaScript Regular Expressions. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Noé De Santo, Aurèle Barrière, Clément Pit-Claudel
A Coq Mechanization of JavaScript Regular Expression Semantics. CoRR (2024)
Aurèle Barrière, Sandrine Blazy, David Pichardie
Formally Verified Native Code Generation in an Effectful JIT: Turning the CompCert Backend into a Formally Verified JIT Compiler. Proc. ACM Program. Lang. 7 (POPL) (2023)
Aurèle Barrière, Clément Pit-Claudel
Linear Matching of JavaScript Regular Expressions. CoRR (2023)
Aurèle Barrière, Sandrine Blazy, David Pichardie
Formally Verified Native Code Generation in an Effectful JIT - or: Turning the CompCert Backend into a Formally Verified JIT Compiler. CoRR (2022)
Aurèle Barrière, Sandrine Blazy, Olivier Flückiger, David Pichardie, Jan Vitek
Formally verified speculation and deoptimization in a JIT compiler. Proc. ACM Program. Lang. 5 (POPL) (2021)
Aurèle Barrière, Bastien Maubert, Aniello Murano, Sasha Rubin
Reasoning about Changes of Observational Power in Logics of Knowledge and Time. AAMAS (2019)
Aurèle Barrière, Bastien Maubert, Aniello Murano, Sasha Rubin
Changing Observations in Epistemic Temporal Logic. KR (2018)
Aurèle Barrière, Bastien Maubert, Aniello Murano, Sasha Rubin
Changing Observations in Epistemic Temporal Logic. CoRR (2018)