Open-Source Tools (Jingling Xue)
If you use our open-source tools in your research projects, we would appreciate if you acknowledge them by citing our relevant
papers.
- Compiler Techniques for Improving SIMD Parallelism
- Pointer Analysis for C
- Pointer Analysis for Java
- Pointer Analysis for Rust
- Information Flow Analysis
- Reflection Anaysis for Java and Android Applications
- Program Slicing for Java
- Bug Analysis and Detection
- Program Synthesis