On-demand dynamic summary-based points-to analysis. - Lei Shang 002; Xinwei Xie; Jingling Xue (CGO, 2012)

Fast and precise points-to analysis with incremental CFL-reachability summarisation: preliminary experience. - Lei Shang 002; Yi Lu 003; Jingling Xue (ASE, 2012)

Efficient points-to analysis based on CFL-reachability summarisation. - Lei Shang 002 (2012)

An Incremental Points-to Analysis with CFL-Reachability. - Yi Lu 003; Lei Shang 002; Xinwei Xie; Jingling Xue (CC, 2013)