i'm david cao, and i'm a second year undergraduate at UC San Diego with an interest in programming languages and systems. i'm currently doing research in program synthesis and in applying liquid types. nice to meet you!
i've worked on some other odds and ends too:
- Automated Dependent Resource Analysis, a technique for inferring the resource use of programs. (POPL 2021 SRC, 2nd Prize)
open source projects
- seascape: a smarter professor/course evaluation tool for UCSD
- spisbot: a Discord bot made to administrate SPIS 2020 virtually
- elba: a package manager for Idris