about me
I am Katrina Liu, a senior studying computer science at the University of Pennsylvania. You can contact/see me through:
professional
experiences
Software Engineer (Program Analysis)
TA & Undergraduate Researcher
publications
(or just things i wrote)
- Automating Responses to Patient Portal Messages Using Generative AImedRxiv (Preprint) (2024)
- Sense and (path) sensitivity: My experience adding a new feature as a Semgrep internSemgrep Blog (2024)
- Exploring Round-trip Properties in Property-based TestingUPenn PL Club Blog (2023)
languages
i have been coding a lot in
ocaml
, python
, typescript
, and haskell
recently. but i also know java
, c
, sql
, swift
etc...