Hi there, you can call me Kait. I’m a program analysis researcher for DSTG based at the University of Queensland, Australia. I previously completed undergraduate degrees in computer science and maths.

Currently, I do work on binary analysis and binary lifting, for the purpose of applying formal methods to binaries. I’m passionate about making solutions that work, and then making sure they keep on working.

Nowadays, I use a lot of OCaml, Nix, Scala, and Python. I have also learned some of C++, Haskell, and Typescript.

I’m interested in learning about:

If you want, you can reach me by email at kait(dot)lam(at)uq.edu.au or, for less formal correspondence, k(at)rina.fyi or @kait@tech.lgbt. My GitHub account is katrinafyi.

Have a great day! ^^

Publications

Berger, R., Briles, M., Boushehrinejad Moradi, N., Coughlin, N., Lam, K., Lopes, N. P., Mada, S., Tirpankar, T., & Regehr, J. (2025). Translation Validation for LLVM’s AArch64 Backend. Proceedings of the ACM on Programming Languages, 9(OOPSLA2), 2710–2735. 10.1145/3763147 (Paper)

Coughlin, N., Michael, A., & Lam, K. (2025). Lift-Offline: Instruction Lifter Generators. In R. Giacobazzi & A. Gorla (Eds.), Static Analysis (Vol. 14995, pp. 86–119). Springer Nature Switzerland. 10.1007/978-3-031-74776-2_4 (Paper) (Slides)

Coughlin, N., Lam, K., Smith, G., & Winter, K. (2024). Detecting Speculative Execution Vulnerabilities on Weak Memory Models. In A. Platzer, K. Y. Rozier, M. Pradella, & M. Rossi (Eds.), Formal Methods – FM 2024 (Vol. 14933, pp. 482–500). Springer Nature Switzerland. 10.1007/978-3-031-71162-6_25 (Paper)

Lam, K., & Coughlin, N. (2023). Lift-off: Trustworthy ARMv8 semantics from formal specifications. In A. Nadel & K. Y. Rozier (Eds.), Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023 (pp. 274–283). TU Wien Academic Press. 10.34727/2023/isbn.978-3-85448-060-0_36 (Paper) (Slides) (Best Paper Award)

ORCID: 0009-0001-2599-2259