Hi there 👋
I am a second-year PhD student studying Computer Science at UW Seattle, co-advised by Zachary Tatlock and Dan Suciu. I am broadly interested in the theories and applications of programming languages and data management.
Currently, I am working on a program optimization technique called Equality Saturation (EqSat):
- Theory: I try to answer questions like "when does EqSat terminate?".
- System: I am working on a new system called egglog that unifies Datalog and EqSat.
- Technique: I am interested in techniques that make EqSat better. In our POPL 2022 paper we made pattern matching in EqSat asymptotically faster.
- Application: I am always looking to apply EqSat to emerging domains, such as computational fabrication. I am maintaining a list of projects that use equality saturation.