I am a PhD student at University of Washington Computer Science and Engineering. I am advised by Prof. Dan Suciu.
I am working with collegues from DB Group and PLSE Group to build an automated reasoning tool for database queries.
I am very fortunate to have been advised by Prof. Magdalena Balazinska
on my master thesis (Check out Myria project).
Before UW, I was working with Prof. James Cheng at NTU, Singapore.
I also had interned at Microsoft Research (Beijing, Redmond) and Google’s Spanner Team. I obtained my bachelor degree from Wuhan University, China.
- Cosette: An Automated SQL Solver powered by Coq and Rosette.
- Myria: Big Data Management as a Cloud Service.
- Raco: A compiler and optimization framework for relational algebra. We do distributed query optimization!
Automated Reasoning of Database Queries
Query Processing in Parallel Database Systems
I/O-Efficient and Parallel Graph Algorithms
Cryptocurrencies and Blockchains
- ADC 2018 PC
- PLDI 2017 Artifact Committee
- CIKM 2017 PC
- Transactions on Knowledge and Data Engineerning (TKDE) Reviewer
- Knowledge and Information System 2018 Reviewer
A Collection of Advices and Software