Kait Lam

Orcid: 0009-0001-2599-2259

According to our database¹, Kait Lam authored at least 4 papers between 2023 and 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

On csauthors.net:

Bibliography

2025

Translation Validation for LLVM's AArch64 Backend.

[BibT_eX]

[DOI]

Ryan Berger

Mitch Briles

Nader Boushehrinejad Moradi

Proc. ACM Program. Lang., 2025

2024

Lift-Offline: Instruction Lifter Generators.

[BibT_eX]

[DOI]

Nicholas Coughlin

Alistair Michael

Kait Lam

Proceedings of the Static Analysis - 31st International Symposium, 2024

Detecting Speculative Execution Vulnerabilities on Weak Memory Models.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

Lift-off: Trustworthy ARMv8 semantics from formal specifications.

[BibT_eX]

[DOI]

Kait Lam

Nicholas Coughlin

Proceedings of the Formal Methods in Computer-Aided Design, 2023

Kait Lam

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...