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 × Croatia
2 × USA
Collaborated with:
Y.Zhou S.Lu V.Pandey R.Bianchini S.Park C.Hu X.Ma Z.Li R.A.Popa
Talks about:
interleav (1) criteria (1) variabl (1) coverag (1) concurr (1) automat (1) semant (1) memori (1) energi (1) detect (1)

Person: Weihang Jiang

DBLP DBLP: Jiang:Weihang

Contributed to:

ESEC/FSE 20072007
SOSP 20072007
HPCA 20062006

Wrote 3 papers:

ESEC-FSE-2007-LuJZ #case study #test coverage
A study of interleaving coverage criteria (SL, WJ, YZ), pp. 533–536.
SOSP-2007-LuPHMJLPZ #automation #concurrent #correlation #debugging #detection #multi #named #semantics
MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs (SL, SP, CH, XM, WJ, ZL, RAP, YZ), pp. 103–116.
HPCA-2006-PandeyJZB #energy #memory management
DMA-aware memory energy management (VP, WJ, YZ, RB), pp. 133–144.

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.