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.