Personal information

Activities

Employment (2)

Nanjing University: Nanjing, CN

Associate Research Professor
Employment
Source: Self-asserted source
Tian Tan

Aarhus University: Aarhus, DK

Postdoc
Employment
Source: Self-asserted source
Tian Tan

Education and qualifications (1)

UNSW Sydney: Sydney, New South Wales, AU

PhD
Education
Source: Self-asserted source
Tian Tan

Works (2)

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

Proceedings of the ACM on Programming Languages
2023-10-16 | Journal article
Contributors: Qinlin Chen; Nairen Zhang; Jinpeng Wang; Tian Tan; Chang Xu; Xiaoxing Ma; Yue Li
Source: check_circle
Crossref

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

Proceedings of the ACM on Programming Languages
2023-06-06 | Journal article
Contributors: Wenjie Ma; Shengyuan Yang; Tian Tan; Xiaoxing Ma; Chang Xu; Yue Li
Source: check_circle
Crossref