Automatic Parallelization of Tiled Loop Nests with Enhanced Fine-Grained Parallelism on GPUs. - Peng Di; Ding Ye; Yu Su 012; Yulei Sui; Jingling Xue (ICPP, 2012)

Accelerating inclusion-based pointer analysis on heterogeneous CPU-GPU systems. - Yu Su 012; Ding Ye; Jingling Xue (HiPC, 2013)

Parallel Pointer Analysis with CFL-Reachability. - Yu Su 012; Ding Ye; Jingling Xue (ICPP, 2014)

WPBOUND: Enforcing Spatial Memory Safety Efficiently at Runtime with Weakest Preconditions. - Ding Ye; Yu Su 012; Yulei Sui; Jingling Xue (ISSRE, 2014)

Parallel pointer analysis for large-scale software. - Yu Su 012 (2015)

An Efficient GPU Implementation of Inclusion-Based Pointer Analysis. - Yu Su 012; Ding Ye; Jingling Xue; Xiangke Liao (IEEE Trans. Parallel Distributed Syst., 2016)

Eliminating Redundant Bounds Checks in Dynamic Buffer Overflow Detection Using Weakest Preconditions. - Yulei Sui; Ding Ye; Yu Su 012; Jingling Xue (IEEE Trans. Reliab., 2016)