Tian Tan (添)
Postdoc
Center for Advanced Software Analysis (CASA)
Department of Computer Science
Aarhus University
Åbogade 34, 8200 Aarhus N, Denmark
Office: Turing-228, Building 5341
Email: tiantan at cs dot au dot dk

About Me

I am a postdoc at Department of Computer Science, Aarhus University. I mainly work with Yue Li and both of us are advised by Prof. Anders Møller and Prof. Aslan Askarov.

I received my Ph.D. degree in Computer Science from University of New South Wales in 2017, and my B.Eng. degree in Software Engineering from Northwestern Polytechnical University in 2013.

Research Interests

I am particularly interested in developing program analysis techniques and tools for solving the problems in the fields of programming language and software engineering.

Research Papers (DBLP, Google Scholar)


OOPSLA'18
Precision-Guided Context Sensitivity for Pointer Analysis
Yue Li, Tian Tan, Anders Møller, and Yannis Smaragdakis.
ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, Boston, USA, 2018.
Artifact Evaluated   [Implementation] [Slides]

ESEC/FSE'18
Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity
Yue Li, Tian Tan, Anders Møller, and Yannis Smaragdakis.
26th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Lake Buena Vista, USA, 2018.
Artifact Evaluated   [Implementation]

SP&E'18
Ripple: Reflection Analysis for Android Apps in Incomplete Information Environments
Yifei Zhang, Yue Li, Tian Tan, and Jingling Xue.
Software: Practice and Experience, April 2018.

arXiv'17
Understanding and Analyzing Java Reflection
Yue Li, Tian Tan, and Jingling Xue.
A significantly extended version of our SAS'15 and ECOOP'14 papers

ISSRE'17
Reflection Analysis for Java: Uncovering More Reflective Targets Precisely
Jie Liu, Yue Li, Tian Tan, and Jingling Xue.
28th International Symposium on Software Reliability Engineering, Toulouse, France, 2017.
Best Paper Award Nominee  

Ph.D. Thesis
Precise and Efficient Points-to Analysis via New Context-Sensitivity and Heap Abstraction
Tian Tan.
School of Computer Science and Engineering, University of New South Wales, 2017.

PLDI'17
Efficient and Precise Points-to Analysis: Modeling the Heap by Merging Equivalent Automata
Tian Tan*, Yue Li*, and Jingling Xue.     (* These authors contributed equally to this work)
38th ACM SIGPLAN Conference on Programming Language Design and Implementation, Barcelona, Spain, 2017.
Artifact Evaluated   [Implementation] [Slides]

SAS'16
Making k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting
Tian Tan, Yue Li, and Jingling Xue.
23rd International Static Analysis Symposium, Edinburgh, UK, 2016.
[Implementation] [Slides]

ECOOP'16
Program Tailoring: Slicing by Sequential Criteria
Yue Li*, Tian Tan*, Yifei Zhang, and Jingling Xue.     (* These authors contributed equally to this work)
30th European Conference on Object-Oriented Programming, Rome, Italy, 2016.
Distinguished Paper Award   Artifact Evaluated   [Implementation]

SAS'15
Effective Soundness-Guided Reflection Analysis
Yue Li, Tian Tan, and Jingling Xue.
22nd International Static Analysis Symposium, Saint-Malo, France, 2015.
[Implementation]

ECOOP'14
Self-Inferencing Reflection Resolution for Java
Yue Li, Tian Tan, Yulei Sui, and Jingling Xue.
28th European Conference on Object-Oriented Programming, Uppsala, Sweden, 2014.
Artifact Evaluated   [Implementation]

COMPSAC'13
An If-While-If Model-Based Performance Evaluation of Ranking Metrics for Spectra-Based Fault Localization
Chunyan Ma, Tian Tan, Yibo Chen, and Yunwei Dong.
37th Annual International Computer Software & Applications Conference, Kyoto, Japan, 2013.

ISSRE'12
What is System Hang and How to Handle it ?
Yian Zhu, Yue Li, Jingling Xue, Tian Tan, Jialong Shi, Yang Shen and Chunyan Ma.
23rd IEEE International Symposium on Software Reliability Engineering, Dallas TX, USA, 2012.
[Implementation]