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: Guo:Huayang
Contributed to:
2011
2010Wrote 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.