Aurèle Barrière
2
Documents
Publications
Publications
|
|
Formally Verified Native Code Generation in an Effectful JIT - or: Turning the CompCert Backend into a Formally Verified JIT CompilerProceedings of the ACM on Programming Languages, 2023, 7 (POPL), pp.249-277. ⟨10.1145/3571202⟩ |
|
|
Formally verified speculation and deoptimization in a JIT compilerProceedings of the ACM on Programming Languages, 2021, 5 (POPL), pp.26. ⟨10.1145/3434327⟩ |
Chargement...
Chargement...