Hi there, you can call me Kait. I’m a program analysis researcher at the University of Queensland, Australia after previously completing an undergraduate degree in computer science + maths.
Currently, I do work on binary analysis and binary lifting, for the purpose of applying formal methods to binaries. I enjoy making things work, and then making sure they keep on working.
Nowadays, I use a lot of OCaml, Nix, and Python. I have also learned some of C++, Haskell, and Typescript.
I’m interested in learning about:
- functional programming and type systems,
- dependently-typed proof assistants,
- staged programming,
- logics,
- education and visualisations, and
- user experience and developer experience.
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
Coughlin, N., Michael, A., & Lam, K. (2024). 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
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
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 (Slides) (Best Paper Award)
ORCID: 0009-0001-2599-2259