皇冠体育app

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 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)

TSE'24 Generic Sensitivity: Generics-Guided Context Sensitivity for Pointer Analysis
Haofeng Li, Tian Tan, Yue Li, Jie Lu, Haining Meng, Liqing Cao, Yongheng Huang, Lian Li, Lin Gao, Peng Di, Liang Lin, and Chenxi Cui
IEEE Transactions on Software Engineering (To appear).

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

Committee: PLDI'19 SRC, SAS'19 AEC, OOPSLA'19 AEC, OOPSLA'18 AEC
Reviewer/Sub-reviewer: TOPLAS'19, SAS'19, SCP'19, OOPSLA'18, ISSTA'18, CGO'17

*TSE'24*	Generic Sensitivity: Generics-Guided Context Sensitivity for Pointer Analysis Haofeng Li, Tian Tan, Yue Li, Jie Lu, Haining Meng, Liqing Cao, Yongheng Huang, Lian Li, Lin Gao, Peng Di, Liang Lin, and Chenxi Cui IEEE Transactions on Software Engineering (To appear).
*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]