Compiler Infrastructure · Static Analysis · LLVM · Scalable Pointer Analysis
I work on scalable and precise static analysis for C/C++ programs, with a focus on pointer analysis, compiler infrastructure, and GPU-accelerated program analysis.
- LLVM/Clang bug fixing and feature work
- Flow-sensitive pointer analysis for C/C++ programs
- GPU-accelerated static analysis
- Compiler infrastructure and program optimization
Generated automatically by TakaTime








