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 working with automated resource analysis and applying liquid types. nice to meet you!

i've worked on some other odds and ends too:

open source projects

other work