Huayang Guo - Concepedia

Author

Huayang Guo

Also Known As

Huayang Guo

Publications

202

Citations

H-Index

Concepts

All Affiliations

Huayang Guo is an author at Microsoft Research Asia (China) specializing in system software, program analysis, and engineering.

#	Concept	H-Index	Publications	Citations
1	Engineering	3	3	202
2	Computer Science	3	3	202
3	Systems Engineering	3	3	202
4	Computer Engineering	2	2	192
5	Communication	1	1	10

Huayang Guo

Publications

202

Citations

H-Index

Page 1

	Year	Citations
Efficient deterministic multithreading through schedule relaxation Heming Cui, Jingyue Wu, John P. Gallagher, EngineeringComputer ArchitectureDeterministic MultithreadingMultithreading (Computer Architecture)Concurrent System	2011	103
Practical software model checking via dynamic interface reduction Huayang Guo, Ming Wu, Lidong Zhou, Software MaintenanceProgram CheckingEngineeringVerificationComputer-aided Verification	2011	89
Language-based replay via data flow cut Ming Wu, Long Fan, Xi Wang, EngineeringVerificationSoftware EngineeringReverse EngineeringAppropriate Replay Interface	2010	10

Page 1