Concepedia

Ming Wu

MW

13

Publications

862

Citations

12

H-Index

2004

Active since

Affiliations

Microsoft Research Asia (China)(Current)

Tsinghua University

Illinois Institute of Technology

Columbia University

University of Science and Technology of China

Ming Wu is an author at Microsoft Research Asia (China) specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringSystem SoftwareProgram AnalysisCluster ComputingSoftware AnalysisParallel ComputingComputer EngineeringCloud Computing

Publications per year

2004–2025

13

Publications

13

Kineograph

Raymond Cheng, Ji Hyung Hong, Aapo Kyrola et al. · 2012 · 239 citations

Cluster Computing, Computational Social Science, Social Media +15

MODIST: transparent model checking of unmodified distributed systems

Junfeng Yang, Tisheng Chen, Ming Wu et al. · 2009 · 168 citations

Engineering, Verification, Computer-aided Verification +19

Practical software model checking via dynamic interface reduction

Huayang Guo, Ming Wu, Lidong Zhou et al. · 2011 · 89 citations

Software Maintenance, Program Checking, Engineering +19

Grid Harvest Service: a system for long-term, application-level task scheduling

Xian‐He Sun, Ming Wu · 2004 · 73 citations

Cluster Computing, Engineering, Grid Network +19

MPIWiz

Ruini Xue, Xuezheng Liu, Ming Wu et al. · 2009 · 68 citations

Engineering, Cyclic Debugging, Computer Architecture +16

Rows per page

1–5 of 13