Travelled to:1 × Germany
1 × Italy
1 × USA
Collaborated with:J.Xue Y.Lu X.Xie
Talks about:analysi (3) point (3) increment (2) reachabl (2) cfl (2) preliminari (1) summaris (1) summari (1) precis (1) experi (1)
Person: Lei Shang
DBLP: Shang:Lei
Contributed to:
2013
2012
2012Wrote 3 papers:
- CC-2013-LuSXX #analysis #incremental #points-to
- An Incremental Points-to Analysis with CFL-Reachability (YL, LS, XX, JX), pp. 61–81.
- ASE-2012-Shang0X #analysis #experience #incremental #performance #points-to #precise #summary
- Fast and precise points-to analysis with incremental CFL-reachability summarisation: preliminary experience (LS, YL, JX), pp. 270–273.
- CGO-2012-ShangXX #analysis #on-demand #points-to
- On-demand dynamic summary-based points-to analysis (LS, XX, JX), pp. 264–274.