Travelled to:1 × France
1 × Italy
1 × USA
Collaborated with:J.Xue L.Shang Y.Lu
Talks about:analysi (2) point (2) increment (1) reachabl (1) acculock (1) summari (1) effici (1) detect (1) demand (1) dynam (1)
Person: Xinwei Xie
DBLP: Xie:Xinwei
Contributed to:
2013
20122011Wrote 3 papers:
- CC-2013-LuSXX #analysis #incremental #points-to
- An Incremental Points-to Analysis with CFL-Reachability (YL, LS, XX, JX), pp. 61–81.
- CGO-2012-ShangXX #analysis #on-demand #points-to
- On-demand dynamic summary-based points-to analysis (LS, XX, JX), pp. 264–274.
- CGO-2011-XieX #detection #named #performance
- Acculock: Accurate and efficient detection of data races (XX, JX), pp. 201–212.