| 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 | 92 | 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 | 80 | 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 |
| 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 | 71 | 2018 |
| 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 | 68 | 2019 |
| 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 | 51 | 2020 |
| Program tailoring: Slicing by sequential criteria Y Li, T Tan, Y Zhang, J Xue 30th European Conference on Object-Oriented Programming (ECOOP 2016), 2016 | 44 | 2016 |
| Effective soundness-guided reflection analysis Y Li, T Tan, J Xue Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France …, 2015 | 44 | 2015 |
| 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 | 24 | 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 |
| 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 | 12 | 2023 |
| Tai-e: A developer-friendly static analysis framework for Java by harnessing the good designs of classics T Tan, Y Li Proceedings of the 32nd ACM SIGSOFT International Symposium on Software …, 2023 | 8 | 2023 |
| Tai-e: a static analysis framework for java by harnessing the best designs of classics T Tan, Y Li arXiv preprint arXiv:2208.00337, 2022 | 5 | 2022 |
| An if-while-if model-based performance evaluation of ranking metrics for spectra-based fault localization C Ma, T Tan, Y Chen, Y Dong 2013 IEEE 37th Annual Computer Software and Applications Conference, 609-618, 2013 | 5 | 2013 |
| 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 | 4 | 2023 |
| Program Tailoring: Slicing by Sequential Criteria (Artifact) T Tan, Y Li, Y Zhang, J Xue Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2016 | 2 | 2016 |
| Precise and Efficient Points-to Analysis via New Context-Sensitivity and Heap Abstraction T Tan UNSW Sydney, 2017 | 1 | 2017 |
