| Efficient and precise points-to analysis: modeling the heap by merging equivalent automata T Tan, Y Li, J Xue Proceedings of the 38th ACM SIGPLAN Conference on Programming Language …, 2017 | 91 | 2017 |
| Precision-guided context sensitivity for pointer analysis Y Li, T Tan, A Møller, Y Smaragdakis Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-29, 2018 | 78 | 2018 |
| Making k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting T Tan, Y Li, J Xue International Static Analysis Symposium, 489-510, 2016 | 73 | 2016 |
| Self-inferencing reflection resolution for Java Y Li, T Tan, Y Sui, J Xue ECOOP 2014–Object-Oriented Programming: 28th European Conference, Uppsala …, 2014 | 70 | 2014 |
| Understanding and analyzing java reflection Y Li, T Tan, J Xue ACM Transactions on Software Engineering and Methodology (TOSEM) 28 (2), 1-50, 2019 | 67 | 2019 |
| Scalability-first pointer analysis with self-tuning context-sensitivity Y Li, T Tan, A Møller, Y Smaragdakis Proceedings of the 2018 26th ACM joint meeting on european software …, 2018 | 67 | 2018 |
| A principled approach to selective context sensitivity for pointer analysis Y Li, T Tan, A Møller, Y Smaragdakis ACM Transactions on Programming Languages and Systems (TOPLAS) 42 (2), 1-40, 2020 | 49 | 2020 |
| Query-directed adaptive heap cloning for optimizing compilers Y Sui, Y Li, J Xue Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation …, 2013 | 45 | 2013 |
| Effective soundness-guided reflection analysis Y Li, T Tan, J Xue Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France …, 2015 | 44 | 2015 |
| Program tailoring: Slicing by sequential criteria Y Li, T Tan, Y Zhang, J Xue 30th European Conference on Object-Oriented Programming (ECOOP 2016), 2016 | 41 | 2016 |
| Ripple: Reflection analysis for android apps in incomplete information environments Y Zhang, T Tan, Y Li, J Xue Proceedings of the Seventh ACM on Conference on Data and Application …, 2017 | 33 | 2017 |
| What is system hang and how to handle it Y Zhu, Y Li, J Xue, T Tan, J Shi, Y Shen, C Ma 2012 IEEE 23rd International Symposium on Software Reliability Engineering …, 2012 | 30 | 2012 |
| Making pointer analysis more precise by unleashing the power of selective context sensitivity T Tan, Y Li, X Ma, C Xu, Y Smaragdakis Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-27, 2021 | 21 | 2021 |
| Reflection analysis for java: Uncovering more reflective targets precisely J Liu, Y Li, T Tan, J Xue 2017 IEEE 28th International Symposium on Software Reliability Engineering …, 2017 | 21 | 2017 |
| Chianina: An evolving graph system for flow-and context-sensitive analyses of million lines of C code Z Zuo, Y Zhang, Q Pan, S Lu, Y Li, L Wang, X Li, GH Xu Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 17 | 2021 |
| A method for constructing fault trees from AADL models Y Li, Y Zhu, C Ma, M Xu Autonomic and Trusted Computing: 8th International Conference, ATC 2011 …, 2011 | 14 | 2011 |
| Tai-e: A Developer-Friendly Static Analysis Framework for Java by Harnessing the Good Designs of Classics T Tan, Y Li Proceedings of the ACM SIGSOFT International Symposium on Software Testing …, 2023 | 12* | 2023 |
| Context sensitivity without contexts: A cut-shortcut approach to fast and precise pointer analysis W Ma, S Yang, T Tan, X Ma, C Xu, Y Li Proceedings of the ACM on Programming Languages 7 (PLDI), 539-564, 2023 | 10 | 2023 |
| The essence of Verilog: a tractable and tested operational semantics for Verilog Q Chen, N Zhang, J Wang, T Tan, C Xu, X Ma, Y Li Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 234-263, 2023 | 3 | 2023 |
| Generic Sensitivity: Generics-Guided Context Sensitivity for Pointer Analysis H Li, T Tan, Y Li, J Lu, H Meng, L Cao, Y Huang, L Li, L Gao, P Di, L Lin, ... IEEE Transactions on Software Engineering, 2024 | | 2024 |
