Personal information

No personal information available

Activities

Works (3)

BigDataflow: A Distributed Interprocedural Dataflow Analysis Framework

2023-11-30 | Conference paper
Contributors: Zewen Sun; Duanchen Xu; Yiyu Zhang; Yun Qi; Yueyang Wang; Zhiqiang Zuo; Zhaokang Wang; Yue Li; Xuandong Li; Qingda Lu et al.
Source: check_circle
Crossref

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