Tian Tan

According to our database, Tian Tan authored at least 21 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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, ChenXi Cui

IEEE Trans. Software Eng., May, 2024

2023

The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog.

Qinlin Chen, Nairen Zhang, Jinpeng Wang, Tian Tan, Chang Xu, Xiaoxing Ma, Yue Li

Proc. ACM Program. Lang., October, 2023

Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis.

Wenjie Ma, Shengyuan Yang, Tian Tan, Xiaoxing Ma, Chang Xu, Yue Li

Proc. ACM Program. Lang., 2023

Tai-e: A Developer-Friendly Static Analysis Framework for Java by Harnessing the Good Designs of Classics.

Tian Tan, Yue Li

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

2022

Tai-e: A Static Analysis Framework for Java by Harnessing the Best Designs of Classics.

Tian Tan, Yue Li

CoRR, 2022

2021

Making pointer analysis more precise by unleashing the power of selective context sensitivity.

Tian Tan, Yue Li, Xiaoxing Ma, Chang Xu, Yannis Smaragdakis

Proc. ACM Program. Lang., 2021

2020

A Principled Approach to Selective Context Sensitivity for Pointer Analysis.

Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis

ACM Trans. Program. Lang. Syst., 2020

2019

Understanding and Analyzing Java Reflection.

Yue Li, Tian Tan, Jingling Xue

ACM Trans. Softw. Eng. Methodol., 2019

2018

Ripple: Reflection analysis for Android apps in incomplete information environments.

Yifei Zhang, Yue Li, Tian Tan, Jingling Xue

Softw. Pract. Exp., 2018

Precision-guided context sensitivity for pointer analysis.

Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis

Proc. ACM Program. Lang., 2018

Scalability-first pointer analysis with self-tuning context-sensitivity.

Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

2017

Precise and Efficient Points-to Analysis via New Context-Sensitivity and Heap Abstraction.

Tian Tan

PhD thesis, 2017

Efficient and precise points-to analysis: modeling the heap by merging equivalent automata.

Tian Tan, Yue Li, Jingling Xue

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Reflection Analysis for Java: Uncovering More Reflective Targets Precisely.

Jie Liu, Yue Li, Tian Tan, Jingling Xue

Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017

2016

Program Tailoring: Slicing by Sequential Criteria (Artifact).

Tian Tan, Yue Li, Yifei Zhang, Jingling Xue

Dagstuhl Artifacts Ser., 2016

Making k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting.

Tian Tan, Yue Li, Jingling Xue

Proceedings of the Static Analysis - 23rd International Symposium, 2016

Program Tailoring: Slicing by Sequential Criteria.

Yue Li, Tian Tan, Yifei Zhang, Jingling Xue

Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

2015

Effective Soundness-Guided Reflection Analysis.

Yue Li, Tian Tan, Jingling Xue

Proceedings of the Static Analysis - 22nd International Symposium, 2015

2014

Self-inferencing Reflection Resolution for Java.

Yue Li, Tian Tan, Yulei Sui, Jingling Xue

Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

2013

An If-While-If Model-Based Performance Evaluation of Ranking Metrics for Spectra-Based Fault Localization.

Chunyan Ma, Tian Tan, Yibo Chen, Yunwei Dong

Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

2012

What Is System Hang and How to Handle It.

Yian Zhu, Yue Li, Jingling Xue, Tian Tan, Jialong Shi, Yang Shen, Chunyan Ma

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012