Kait Lam

According to our database, Kait Lam authored at least 2 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Detecting Speculative Execution Vulnerabilities on Weak Memory Models.

Nicholas Coughlin, Kait Lam, Graeme Smith, Kirsten Winter

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

2023

Lift-off: Trustworthy ARMv8 semantics from formal specifications.

Kait Lam, Nicholas Coughlin

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