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]

__tensat__
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 tensat. It
implements an efficient algorithm for equality saturation.
[POPL'21 **distinguished paper**]

Currently I'm working on an optimizer for generalized datalog. I'm also experimenting with advanced join algorithms to make egg faster.