Aurèle Barrière

According to our database, Aurèle Barrière authored at least 8 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Coq Mechanization of JavaScript Regular Expression Semantics.

Noé De Santo, Aurèle Barrière, Clément Pit-Claudel

CoRR, 2024

2023

Formally Verified Native Code Generation in an Effectful JIT: Turning the CompCert Backend into a Formally Verified JIT Compiler.

Aurèle Barrière, Sandrine Blazy, David Pichardie

Proc. ACM Program. Lang., January, 2023

Linear Matching of JavaScript Regular Expressions.

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

CoRR, 2023

2022

Formal Verification of Just-in-Time Compilation. (Vérification Formelle de Compilation à la Volée).

Aurèle Barrière

PhD thesis, 2022

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

CoRR, 2022

2021

Formally verified speculation and deoptimization in a JIT compiler.

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

Proc. ACM Program. Lang., 2021

2019

Reasoning about Changes of Observational Power in Logics of Knowledge and Time.

Aurèle Barrière, Bastien Maubert, Aniello Murano, Sasha Rubin

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

2018

Changing Observations in Epistemic Temporal Logic.

Aurèle Barrière, Bastien Maubert, Aniello Murano, Sasha Rubin

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018