Sandrine Blazy: CompCert: A Journey through the Landscape of Mechanized Semantics for Verified Compilation (Keynote). CPP 2023: 1