Tian Tan -

Registered user since Fri 15 Apr 2016

Name:Tian Tan

Country:China

Affiliation:Nanjing University

Personal website: https://cs.nju.edu.cn/tiantan

GitHub: https://github.com/silverbullettt

Contributions

2023

SPLASH

Author of The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog within the OOPSLA-track

ISSTA

Author of Tai-e: A Developer-Friendly Static Analysis Framework for Java by Harnessing the Good Designs of Classics within the Technical Papers-track

PLDI

Author of Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis within the PLDI Research Papers-track

2021

SPLASH

Author of Making Pointer Analysis More Precise by Unleashing the Power of Selective Context Sensitivity within the OOPSLA-track

2019

SPLASH

Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track

PLDI

Committee Member in Student Research Competition (SRC) within the Student Research Competition (SRC)-track

2018

ESEC/FSE

Author of Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity within the Research Papers-track

SPLASH

2017

PLDI

Author of Efficient and Precise Points-to Analysis: Modeling the Heap by Merging Equivalent Automata within the PLDI Research Papers-track

2016

ECOOP