Aurèle Barrière

Publications

Article dans une revue (2)

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 Proceedings of the ACM on Programming Languages, 2023, 7 (POPL), pp.249-277. ⟨10.1145/3571202⟩ Article dans une revue (article de synthèse) hal-03882598v1
Formally verified speculation and deoptimization in a JIT compiler Aurèle Barrière,Sandrine Blazy,Olivier Flückiger,David Pichardie,Jan Vitek Proceedings of the ACM on Programming Languages, 2021, 5 (POPL), pp.26. ⟨10.1145/3434327⟩ Article dans une revue hal-03185848v1