- Contribute to LLVM and serve as the maintainer of the DFA Jump Threading pass.
- Research about Compiler Optimization and Compiler Testing.
- Intern at PLCT Lab now.
- Modern compiler middle-end and backend design
- HPC, especially GPU programming
- Formal verification
- Static analysis
- Testing the compilers




