Tian Tan

Orcid: 0009-0009-3792-1237

Affiliations:
  • Nanjing University, China
  • Aarhus University, Denmark (former)


According to our database1, Tian Tan authored at least 20 papers between 2012 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog.
Proc. ACM Program. Lang., October, 2023

Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis.
Proc. ACM Program. Lang., 2023

Tai-e: A Developer-Friendly Static Analysis Framework for Java by Harnessing the Good Designs of Classics.
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.
CoRR, 2022

2021
Making pointer analysis more precise by unleashing the power of selective context sensitivity.
Proc. ACM Program. Lang., 2021

2020
A Principled Approach to Selective Context Sensitivity for Pointer Analysis.
ACM Trans. Program. Lang. Syst., 2020

2019
Understanding and Analyzing Java Reflection.
ACM Trans. Softw. Eng. Methodol., 2019

2018
Ripple: Reflection analysis for Android apps in incomplete information environments.
Softw. Pract. Exp., 2018

Precision-guided context sensitivity for pointer analysis.
Proc. ACM Program. Lang., 2018

Scalability-first pointer analysis with self-tuning context-sensitivity.
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.
PhD thesis, 2017

Efficient and precise points-to analysis: modeling the heap by merging equivalent automata.
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Reflection Analysis for Java: Uncovering More Reflective Targets Precisely.
Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017

2016
Program Tailoring: Slicing by Sequential Criteria (Artifact).
Dagstuhl Artifacts Ser., 2016

Making k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting.
Proceedings of the Static Analysis - 23rd International Symposium, 2016

Program Tailoring: Slicing by Sequential Criteria.
Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

2015
Effective Soundness-Guided Reflection Analysis.
Proceedings of the Static Analysis - 22nd International Symposium, 2015

2014
Self-inferencing Reflection Resolution for Java.
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.
Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

2012
What Is System Hang and How to Handle It.
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012


  Loading...