1. Practical Extensions to the IFDS Algorithm
2. Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java;späth;30th European Conference on Object-Oriented Programming (ECOOP 2016),2016
3. Scalable and precise taint analysis for Android
4. Qilin: A New Framework For Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis;he;36th European Conference on Object-Oriented Programming (ECOOP 2022),2022