Lift-off: Trustworthy ARMv8 semantics from formal specifications. - Kait Lam; Nicholas Coughlin (FMCAD, 2023)

Detecting Speculative Execution Vulnerabilities on Weak Memory Models. - Nicholas Coughlin; Kait Lam; Graeme Smith 001; Kirsten Winter (FM (1), 2024)

Lift-Offline: Instruction Lifter Generators. - Nicholas Coughlin; Alistair Michael; Kait Lam (SAS, 2024)