Huayang Guo

Publication Activity (10 Years)

Years Active: 2010-2011
Publications (10 Years): 0

Publications

Heming Cui, Jingyue Wu, John Gallagher, Huayang Guo, Junfeng Yang
Efficient deterministic multithreading through schedule relaxation. SOSP (2011)
Huayang Guo, Ming Wu, Lidong Zhou, Gang Hu, Junfeng Yang, Lintao Zhang
Practical software model checking via dynamic interface reduction. SOSP (2011)
Ming Wu, Fan Long, Xi Wang, Zhilei Xu, Haoxiang Lin, Xuezheng Liu, Zhenyu Guo, Huayang Guo, Lidong Zhou, Zheng Zhang
Language-based replay via data flow cut. SIGSOFT FSE (2010)