Kait Lam

According to our database, Kait Lam authored at least 1 paper in 2023.

Collaborative distances:

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

2023

Lift-off: Trustworthy ARMv8 semantics from formal specifications.

Kait Lam, Nicholas Coughlin

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