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

I am an associate 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 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

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	The 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 (To Appear).
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