Huayang Guo

According to our database, Huayang Guo authored at least 3 papers between 2010 and 2011.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2011

Practical software model checking via dynamic interface reduction.

Huayang Guo, Ming Wu, Lidong Zhou, Gang Hu, Junfeng Yang, Lintao Zhang

Proceedings of the 23rd ACM Symposium on Operating Systems Principles 2011, 2011

Efficient deterministic multithreading through schedule relaxation.

Heming Cui, Jingyue Wu, John Gallagher, Huayang Guo, Junfeng Yang

Proceedings of the 23rd ACM Symposium on Operating Systems Principles 2011, 2011

2010

Language-based replay via data flow cut.

Ming Wu, Fan Long, Xi Wang, Zhilei Xu, Haoxiang Lin, Xuezheng Liu, Zhenyu Guo, Huayang Guo, Lidong Zhou, Zheng Zhang

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010