Miss Kait Lam
Secondee Research Engineer
School of Electrical Engineering & Computer Science
Journal Article
Berger, Ryan, Briles, Mitch, Boushehrinejad Moradi, Nader, Coughlin, Nicholas, Lam, Kait, Lopes, Nuno P., Mada, Stefan, Tirpankar, Tanmay and Regehr, John (2025). Translation Validation for LLVM’s AArch64 Backend. Proceedings of the ACM on Programming Languages, 9 (OOPSLA2) 369, 2710-2735. doi: 10.1145/3763147
Conference Papers
Coughlin, Nicholas, Michael, A. and Lam, Kait (2025). Lift-Offline: instruction lifter generators. 31st International Symposium, SAS 2024, Pasadena, CA, United States, 20-22 October 2024. Cham, Switzerland: Springer Nature Switzerland. doi: 10.1007/978-3-031-74776-2_4
Coughlin, Nicholas, Lam, Kait, Smith, Graeme and Winter, Kirsten (2024). Detecting speculative execution vulnerabilities on weak memory models. 26th International Symposium, FM 2024, Milan, Italy, 9-13 September 2024. Cham, Switzerland: Springer Nature Switzerland. doi: 10.1007/978-3-031-71162-6_25
Lam, Kait and Coughlin, Nicholas (2023). Lift-off: Trustworthy ARMv8 semantics from formal specifications. 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD, Ames, IA, United States, 23 - 27 October 2023. Piscataway, NJ, United States: Institute of Electrical and Electronics Engineers. doi: 10.34727/2023/isbn.978-3-85448-060-0_36