Kait Lam
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2023–2024
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | FM | Detecting Speculative Execution Vulnerabilities on Weak Memory Models. | Nicholas Coughlin, Kait Lam, Graeme Smith, Kirsten Winter |
| 2024 | SAS | Lift-Offline: Instruction Lifter Generators. | Nicholas Coughlin, Alistair Michael, Kait Lam |
| 2023 | FMCAD | Lift-off: Trustworthy ARMv8 semantics from formal specifications. | Kait Lam, Nicholas Coughlin |