D3S: Debugging Deployed Distributed Systems. - Xuezheng Liu; Zhenyu Guo; Xi Wang 005; Feibo Chen; Xiaochen Lian; Jian Tang; Ming Wu 007; M. Frans Kaashoek; Zheng Zhang 001 (NSDI, 2008)

Corey: An Operating System for Many Cores. - Silas Boyd-Wickizer; Haibo Chen 001; Rong Chen 001; Yandong Mao; M. Frans Kaashoek; Robert Morris 005; Aleksey Pesterev; Lex Stein; Ming Wu 007; Yue-hua Dai; Yang Zhang; Zheng Zhang 001 (OSDI, 2008)

R2: An Application-Level Kernel for Record and Replay. - Zhenyu Guo; Xi Wang 005; Jian Tang; Xuezheng Liu; Zhilei Xu; Ming Wu 007; M. Frans Kaashoek; Zheng Zhang 001 (OSDI, 2008)

A Hybrid Model Checking and Runtime Monitoring Method for C++ Web Services. - Zhengwei Qi; Alei Liang; Haibing Guan; Ming Wu 007; Zheng Zhang 001 (NCM, 2009)

MODIST: Transparent Model Checking of Unmodified Distributed Systems. - Junfeng Yang; Tisheng Chen; Ming Wu 007; Zhilei Xu; Xuezheng Liu; Haoxiang Lin; Mao Yang 004; Fan Long; Lintao Zhang; Lidong Zhou (NSDI, 2009)

MPIWiz: subgroup reproducible replay of mpi applications. - Ruini Xue; Xuezheng Liu; Ming Wu 007; Zhenyu Guo; Wenguang Chen; Weimin Zheng; Zheng Zhang 001; Geoffrey M. Voelker (PPoPP, 2009)

Language-based replay via data flow cut. - Ming Wu 007; Fan Long; Xi Wang 005; Zhilei Xu; Haoxiang Lin; Xuezheng Liu; Zhenyu Guo; Huayang Guo; Lidong Zhou; Zheng Zhang 001 (SIGSOFT FSE, 2010)

SLIM: Mmap from the cloud to device, and back. - Jinghao Shi; Mingyuan Xia 001; Ming Wu 007; Lintao Zhang; Zheng Zhang 001 (APSys, 2011)

AutoLog: facing log redundancy and insufficiency. - Cheng Zhang; Zhenyu Guo; Ming Wu 007; Longwen Lu; Yu Fan; Jianjun Zhao 001; Zheng Zhang 001 (APSys, 2011)

Practical software model checking via dynamic interface reduction. - Huayang Guo; Ming Wu 007; Lidong Zhou; Gang Hu; Junfeng Yang; Lintao Zhang (SOSP, 2011)

Kineograph: taking the pulse of a fast-changing and connected world. - Raymond Cheng 001; Ji Hong; Aapo Kyrola; Youshan Miao; Xuetian Weng; Ming Wu 007; Fan Yang 024; Lidong Zhou; Feng Zhao 001; Enhong Chen (EuroSys, 2012)

Managing Large Graphs on Multi-Cores with Graph Awareness. - Vijayan Prabhakaran; Ming Wu 007; Xuetian Weng; Frank McSherry; Lidong Zhou; Maya Haradasan (USENIX ATC, 2012)

Tango: distributed data structures over a shared log. - Mahesh Balakrishnan 001; Dahlia Malkhi; Ted Wobber; Ming Wu 007; Vijayan Prabhakaran; Michael Wei; John D. Davis; Sriram Rao; Tao Zou 002; Aviad Zuck (SOSP, 2013)

Chronos: a graph engine for temporal graph analysis. - Wentao Han; Youshan Miao; Kaiwei Li; Ming Wu 007; Fan Yang 024; Lidong Zhou; Vijayan Prabhakaran; Wenguang Chen; Enhong Chen (EuroSys, 2014)

Apollo: Scalable and Coordinated Scheduling for Cloud-Scale Computing. - Eric Boutin; Jaliya Ekanayake; Wei Lin 016; Bing Shi; Jingren Zhou 001; Zhengping Qian; Ming Wu 007; Lidong Zhou (OSDI, 2014)

GraM: scaling graph computation to the trillions. - Ming Wu 007; Fan Yang 024; Jilong Xue; Wencong Xiao; Youshan Miao; Lan Wei; Haoxiang Lin; Yafei Dai; Lidong Zhou (SoCC, 2015)

ImmortalGraph: A System for Storage and Analysis of Temporal Graphs. - Youshan Miao; Wentao Han; Kaiwei Li; Ming Wu 007; Fan Yang 024; Lidong Zhou; Vijayan Prabhakaran; Enhong Chen; Wenguang Chen (ACM Trans. Storage, 2015)

Tux2: Distributed Graph Computation for Machine Learning. - Wencong Xiao; Jilong Xue; Youshan Miao; Zhen Li; Cheng Chen; Ming Wu 007; Wei Li 022; Lidong Zhou (NSDI, 2017)

SDPaxos: Building Efficient Semi-Decentralized Geo-replicated State Machines. - Hanyu Zhao; Quanlu Zhang; Zhi Yang 001; Ming Wu 007; Yafei Dai (SoCC, 2018)

RPC Considered Harmful: Fast Distributed Deep Learning on RDMA. - Jilong Xue; Youshan Miao; Cheng Chen; Ming Wu 007; Lintao Zhang; Lidong Zhou (CoRR, 2018)

Towards Efficient Large-Scale Graph Neural Network Computing. - Lingxiao Ma; Zhi Yang 001; Youshan Miao; Jilong Xue; Ming Wu 007; Lidong Zhou; Yafei Dai (CoRR, 2018)

Fast Distributed Deep Learning over RDMA. - Jilong Xue; Youshan Miao; Cheng Chen; Ming Wu 007; Lintao Zhang; Lidong Zhou (EuroSys, 2019)

Efficient and Effective Sparse LSTM on FPGA with Bank-Balanced Sparsity. - Shijie Cao; Chen Zhang 001; Zhuliang Yao; Wencong Xiao; Lanshun Nie; De-chen Zhan; Yunxin Liu 001; Ming Wu 007; Lintao Zhang (FPGA, 2019)

NeuGraph: Parallel Deep Neural Network Computation on Large Graphs. - Lingxiao Ma; Zhi Yang 001; Youshan Miao; Jilong Xue; Ming Wu 007; Lidong Zhou; Yafei Dai (USENIX ATC, 2019)

Bandwidth and Locality Aware Task-stealing for Manycore Architectures with Bandwidth-Asymmetric Memory. - Han Zhao 005; Quan Chen 002; Yuxian Qiu; Ming Wu 007; Yao Shen; Jingwen Leng; Chao Li 009; Minyi Guo (ACM Trans. Archit. Code Optim., 2019)

FlexSaaS: A Reconfigurable Accelerator for Web Search Selection. - Shijie Cao; Lanshun Nie; De-chen Zhan; Wenqiang Wang; Ningyi Xu; Ramashis Das; Ming Wu 007; Lintao Zhang; Derek Chiou (ACM Trans. Reconfigurable Technol. Syst., 2019)

Shrec: bandwidth-efficient transaction relay in high-throughput blockchain systems. - Yilin Han; Chenxing Li; Peilun Li; Ming Wu 007; Dong Zhou 006; Fan Long (SoCC, 2020)

A Decentralized Blockchain with High Throughput and Fast Confirmation. - Chenxing Li; Peilun Li; Dong Zhou 006; Zhe Yang; Ming Wu 007; Guang Yang 020; Wei Xu 005; Fan Long; Andrew Chi-Chih Yao (USENIX ATC, 2020)

Distributed Graph Computation Meets Machine Learning. - Wencong Xiao; Jilong Xue; Youshan Miao; Zhen Li; Cheng Chen; Ming Wu 007; Wei Li 022; Lidong Zhou (IEEE Trans. Parallel Distributed Syst., 2020)

REFTY: Refinement Types for Valid Deep Learning Models. - Yanjie Gao; Zhengxian Li; Haoxiang Lin; Hongyu Zhang 002; Ming Wu 007; Mao Yang 004 (ICSE, 2022)

Utilizing Parallelism in Smart Contracts on Decentralized Blockchains by Taming Application-Inherent Conflicts. - Péter Garamvölgyi; Yuxi Liu; Dong Zhou 006; Fan Long; Ming Wu 007 (ICSE, 2022)

Mercury: Fast Transaction Broadcast in High Performance Blockchain Systems. - Mingxun Zhou; Liyi Zeng; Yilin Han; Peilun Li; Fan Long; Dong Zhou 006; Ivan Beschastnikh; Ming Wu 007 (INFOCOM, 2023)

LVMT: An Efficient Authenticated Storage for Blockchain. - Chenxing Li; Sidi Mohamed Beillahi; Guang Yang 020; Ming Wu 007; Wei Xu 005; Fan Long (ACM Trans. Storage, 2024)

dl²: Detecting Communication Deadlocks in Deep Learning Jobs. - Yanjie Gao; Jiyu Luo; Haoxiang Lin; Hongyu Zhang 002; Ming Wu 007; Mao Yang 004 (SIGSOFT FSE Companion, 2025)

Reduction Fusion for Optimized Distributed Data-Parallel Computations via Inverse Recomputation. - Haoxiang Lin; Yang Wang 053; Yanjie Gao; Hongyu Zhang 002; Ming Wu 007; Mao Yang 004 (SIGSOFT FSE Companion, 2025)

Fine-Grained Structured Sparse Computing for FPGA-Based AI Inference. - Chen Zhang 001; Shijie Cao; Guohao Dai; Chenbo Geng; Zhuliang Yao; Wencong Xiao; Yunxin Liu 001; Ming Wu 007; Lintao Zhang; Guangyu Sun 003; Zhigang Ji; Runsheng Wang; et al. (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2025)