Follow
Tian Tan
Tian Tan
Department of Computer Science and Technology, Nanjing University
Verified email at nju.edu.cn - Homepage
Title
Cited by
Cited by
Year
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
862017
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
732018
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
712016
Self-inferencing reflection resolution for Java
Y Li, T Tan, Y Sui, J Xue
ECOOP 2014–Object-Oriented Programming: 28th European Conference, Uppsala …, 2014
692014
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
632018
Understanding and analyzing java reflection
Y Li, T Tan, J Xue
ACM Transactions on Software Engineering and Methodology (TOSEM) 28 (2), 1-50, 2019
622019
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
442020
Effective soundness-guided reflection analysis
Y Li, T Tan, J Xue
Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France …, 2015
432015
Program tailoring: Slicing by sequential criteria
Y Li, T Tan, Y Zhang, J Xue
30th European Conference on Object-Oriented Programming (ECOOP 2016), 2016
392016
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
342017
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
302012
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
192021
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
192017
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
72023
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
52023
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
52013
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
42022
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
22023
Program Tailoring: Slicing by Sequential Criteria (Artifact)
T Tan, Y Li, Y Zhang, J Xue
Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2016
22016
Precise and Efficient Points-to Analysis via New Context-Sensitivity and Heap Abstraction
T Tan
UNSW Sydney, 2017
12017
The system can't perform the operation now. Try again later.
Articles 1–20