Search filters

Authors whose works are in public domain in at least one jurisdiction

List of works by Sandrine Blazy

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

scientific article published in 2023

Formally verified speculation and deoptimization in a JIT compiler

scientific article published in 2021

Program Logics for Certified Compilers

book by Andrew Appel

Paulina is supported by:

About Paulina

Help