Tian Tan ( 添)
Assistant 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
Bilibili: 甜品专家
GitHub:

About Me

I am an assistant 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 working at Aarhus Univeristy (CASA). I received my Ph.D. degree in Computer Science from University of New South Wales (CORG) in 2017, and B.Eng. degree in Software Engineering from Northwestern Polytechnical University in 2013.

Teaching

  • Software Analysis/Static Program Analysis: Fall 2023, Fall 2022, Fall 2021, Fall 2020, Spring 2020

  • Principles and Techniques of Compilers: Spring 2024, Spring 2023, Spring 2022
  • Research Interests

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

    Publication (DBLP, Google Scholar)

    (* Corresponding author)


    OOPSLA'23
    Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog
    Qinlin Chen, Nairen Zhang, Jinpeng Wang, Tian Tan*, Chang Xu, Xiaoxing Ma and Yue Li*
    ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, Cascais, Portugal, October 2023.
    Distinguished Artifact Award   Artifact Evaluated   [Implementation]

    ISSTA'23
    Tai-e: A Developer-Friendly Static Analysis Framework for Java by Harnessing the Good Designs of Classics
    Tian Tan and Yue Li*
    32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, Seattle, USA, July 2023.
    Artifact Evaluated   [Implementation]

    PLDI'23
    Context Sensitivity without Context: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis
    Wenjie Ma, Shengyuan Yang, Tian Tan*, Xiaoxing Ma, Chang Xu and Yue Li*
    44th ACM SIGPLAN Conference on Programming Language Design and Implementation, Orlando, USA, June 2023.
    Artifact Evaluated   [Implementation]

    CRAD'23
    Survey on Java Pointer Analysis (In Chinese)
    Tian Tan, Xiaoxing Ma, Chang Xu, Chunyan Ma and Yue Li*
    Journal of Computer Research and Development (计算机研究与发展), 60(2), February 2023 (Invited Paper).

    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
    Artifact Evaluated   [Implementation]

    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, 42(2), June 2020.
    [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