Tian Tan ( 添)
Assistant Research Professor
PASCAL Research Group
State Key Laboratory for Novel Software Technology
Department of Computer Science and Technology
Nanjing University
163 Xianlin Avenue, Qixia District, Nanjing 210023, Jiangsu, China
Office: Room 536, Building of Computer Science and Technology
Email: tiantan at nju dot edu dot cn

About Me

I am an assistant research professor at Department of Computer Science and Technology, Nanjing University, where Yue Li and I co-run PASCAL Research Group.

Before joining Nanjing University in 2019, I was a postdoc at Aarhus Univeristy. I received my Ph.D. degree in Computer Science from University of New South Wales in 2017, and B.Eng. degree in Software Engineering from Northwestern Polytechnical University in 2013.

Teaching

  • Software Analysis/Static Program Analysis: Spring 2020, Fall 2020, Fall 2021
  • 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'21
    Making Pointer Analysis More Precise by Unleashing the Power of Selective Context Sensitivity
    Tian Tan, Yue Li, Xiaoxing Ma, Chang Xu and Yannis Smaragdakis.
    ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, Chicago, USA, 2021
    [Implementation (To appear)]

    TOPLAS'20
    A Principled Approach to Selective Context Sensitivity for Pointer Analysis
    Yue Li, Tian Tan, Anders Møller, and Yannis Smaragdakis.
    ACM Transactions on Programming Languages and Systems.
    [Implementation]

    TOSEM'19
    Understanding and Analyzing Java Reflection
    Yue Li, Tian Tan, and Jingling Xue.
    ACM Transactions on Software Engineering and Methodology, 28(2), February 2019.
    [Implementation]

    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] [Poster]

    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.

    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]

    Service