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 × Portugal
1 × USA
Collaborated with:
J.Yang M.Wu L.Zhou H.Cui J.Wu J.Gallagher G.Hu L.Zhang F.Long X.Wang Z.Xu H.Lin X.Liu Z.Guo Z.Zhang
Talks about:
multithread (1) determinist (1) interfac (1) softwar (1) schedul (1) practic (1) languag (1) replay (1) reduct (1) effici (1)

Person: Huayang Guo

DBLP DBLP: Guo:Huayang

Contributed to:

SOSP 20112011
FSE 20102010

Wrote 3 papers:

SOSP-2011-CuiWGGY #multi #performance #thread
Efficient deterministic multithreading through schedule relaxation (HC, JW, JG, HG, JY), pp. 337–351.
SOSP-2011-GuoWZHYZ #interface #model checking #reduction
Practical software model checking via dynamic interface reduction (HG, MW, LZ, GH, JY, LZ), pp. 265–278.
FSE-2010-WuLWXLLGGZZ #data flow
Language-based replay via data flow cut (MW, FL, XW, ZX, HL, XL, ZG, HG, LZ, ZZ), pp. 197–206.

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.