BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Xie:Xinwei

Contributed to:

CC 20132013
CGO 20122012
CGO 20112011

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.