Tian Tan (添)
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

  • program analysis
  • software engineering
  • programming language

Research Papers (DBLP, Google Scholar)

Understanding and Analyzing Java Reflection
Yue Li, Tian Tan, and Jingling Xue.

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

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]

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]

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]

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

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]

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.

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 Reliabilty Engieering, Dallas TX, USA, 2012.

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.