Publications Tian Tan,Yue Li,and Jingling Xue.Efficient and Precise Points-to Analy- sis:Modeling the Heap by Merging Equivalent Automata.38th ACM SIG- PLAN Conference on Programming Language Design and Implementation (PLDI'17). Yifei Zhang,Tian Tan,Yue Li and Jingling Xue.Ripple:Reflection Anal- ysis for Android Apps in Incomplete Information Environments.7th ACM Conference on Data and Applications Security and Privacy (CODASPY17). Tian Tan,Yue Li and Jingling Xue.Making k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting.23nd International Static Anal- ysis Symposium (SAS'16). Yue Li,Tian Tan,Yifei Zhang and Jingling Xue.Program Tailoring:Slic- ing by Sequential Criteria.30th European Conference on Object-Oriented Programming (ECOOP'16).Distinguished Paper Award. Yue Li,Tian Tan and Jingling Xue.Effective Soundness-Guided Reflection Analysis.22nd International Static Analysis Symposium (SAS'15). Yue Li,Tian Tan,Yulei Sui and Jingling Xue.Self-Inferencing Reflection Resolution for Java.28th European Conference on Object-Oriented Program- ming (ECOOP'14). iiiPublications • Tian Tan, Yue Li, and Jingling Xue. Efficient and Precise Points-to Analy￾sis: Modeling the Heap by Merging Equivalent Automata. 38th ACM SIG￾PLAN Conference on Programming Language Design and Implementation (PLDI’17). • Yifei Zhang, Tian Tan, Yue Li and Jingling Xue. Ripple: Reflection Anal￾ysis for Android Apps in Incomplete Information Environments. 7th ACM Conference on Data and Applications Security and Privacy (CODASPY’17). • Tian Tan, Yue Li and Jingling Xue. Making k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting. 23nd International Static Anal￾ysis Symposium (SAS’16). • Yue Li, Tian Tan, Yifei Zhang and Jingling Xue. Program Tailoring: Slic￾ing by Sequential Criteria. 30th European Conference on Object-Oriented Programming (ECOOP’16). Distinguished Paper Award. • Yue Li, Tian Tan and Jingling Xue. Effective Soundness-Guided Reflection Analysis. 22nd International Static Analysis Symposium (SAS’15). • Yue Li, Tian Tan, Yulei Sui and Jingling Xue. Self-Inferencing Reflection Resolution for Java. 28th European Conference on Object-Oriented Program￾ming (ECOOP’14). iii