Kait Lam -

Registered user since Fri 16 Aug 2024

Name:Kait Lam

Contributions

2025

SPLASH

Author of Translation Validation for LLVM's AArch64 Backend within the OOPSLA-track

2024

Static Analysis Symposium

Keynote Speaker of Lift-offline: Instruction Lifter Generators within the SAS 2024-track

2023

FMCAD - External

Author of Lift-off: Trustworthy ARMv8 semantics from formal specifications