3
Publications
202
Citations
3
H-Index
2010
Active since
Affiliations
Huayang Guo is an author at Microsoft Research Asia (China) specializing in system software, program analysis, and engineering.
Top concepts
EngineeringSystem SoftwareComputer ScienceProgram AnalysisSystems EngineeringVerificationFormal MethodsSoftware DesignSoftware TestingSoftware Analysis
Publications per year
2010–2011
3
3
Efficient deterministic multithreading through schedule relaxation
Heming Cui, Jingyue Wu, John P. Gallagher et al. · 2011 · 103 citations
Engineering, Computer Architecture, Deterministic Multithreading +18
Practical software model checking via dynamic interface reduction
Huayang Guo, Ming Wu, Lidong Zhou et al. · 2011 · 89 citations
Language-based replay via data flow cut
Rows per page
1–3 of 3