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