I’m a PhD student at uwdb and uwplse advised by Dan Suciu. I optimize modern data systems with advanced techniques from programming languages and databases:

__spores__
is an optimizer for large scale linear algebra. It transforms
linear algebra code through the powerful abstraction of relational algebra.
[VLDB'20]

__tamago__
is an optimizer for deep learning inference using
equality saturation.
It achieves state-of-the-art inference speed with very
fast compilation. [MLSys'21]

__egg__
is the rewrite engine underlying both spores and tamago. It
implements an efficient algorithm for equality saturation.
[POPL'21 **distinguished paper**]