My research focuses on program analysis on the correctness and performance of programs. I am interested in system software, parallel computing, programming language theories, and program synthesis.

ALL of my research is public and open-sourced.