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: Jiang:Weihang
Contributed to:
2007
2007
2006Wrote 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.