Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Kait Lam
conf.researchr.org general profile
SPLASH 2024 profile
Registered user since Fri 16 Aug 2024
Name:
Kait Lam
Contributions
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
Share
x
Sat 21 Dec 18:15