![]() |
Tian Tan (谭 添)
Email: tiantan at nju dot edu dot cn Bilibili: 甜品专家 GitHub: ![]() |
(* 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] |