Ming Wu

According to our database, Ming Wu authored at least 33 papers between 2008 and 2024.

Collaborative distances:

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

2024

LVMT: An Efficient Authenticated Storage for Blockchain.

Chenxing Li, Sidi Mohamed Beillahi, Guang Yang, Ming Wu, Wei Xu, Fan Long

ACM Trans. Storage, August, 2024

2023

Mercury: Fast Transaction Broadcast in High Performance Blockchain Systems.

Mingxun Zhou, Liyi Zeng, Yilin Han, Peilun Li, Fan Long, Dong Zhou, Ivan Beschastnikh, Ming Wu

Proceedings of the IEEE INFOCOM 2023, 2023

2022

Utilizing Parallelism in Smart Contracts on Decentralized Blockchains by Taming Application-Inherent Conflicts.

Péter Garamvölgyi, Yuxi Liu, Dong Zhou, Fan Long, Ming Wu

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

REFTY: Refinement Types for Valid Deep Learning Models.

Yanjie Gao, Zhengxian Li, Haoxiang Lin, Hongyu Zhang, Ming Wu, Mao Yang

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2020

Distributed Graph Computation Meets Machine Learning.

Wencong Xiao, Jilong Xue, Youshan Miao, Zhen Li, Cheng Chen, Ming Wu, Wei Li, Lidong Zhou

IEEE Trans. Parallel Distributed Syst., 2020

A Decentralized Blockchain with High Throughput and Fast Confirmation.

Chenxing Li, Peilun Li, Dong Zhou, Zhe Yang, Ming Wu, Guang Yang, Wei Xu, Fan Long, Andrew Chi-Chih Yao

Proceedings of the 2020 USENIX Annual Technical Conference, 2020

Shrec: bandwidth-efficient transaction relay in high-throughput blockchain systems.

Yilin Han, Chenxing Li, Peilun Li, Ming Wu, Dong Zhou, Fan Long

Proceedings of the SoCC '20: ACM Symposium on Cloud Computing, 2020

2019

FlexSaaS: A Reconfigurable Accelerator for Web Search Selection.

Shijie Cao, Lanshun Nie, De-chen Zhan, Wenqiang Wang, Ningyi Xu, Ramashis Das, Ming Wu, Lintao Zhang, Derek Chiou

ACM Trans. Reconfigurable Technol. Syst., 2019

Bandwidth and Locality Aware Task-stealing for Manycore Architectures with Bandwidth-Asymmetric Memory.

Han Zhao, Quan Chen, Yuxian Qiu, Ming Wu, Yao Shen, Jingwen Leng, Chao Li, Minyi Guo

ACM Trans. Archit. Code Optim., 2019

NeuGraph: Parallel Deep Neural Network Computation on Large Graphs.

Lingxiao Ma, Zhi Yang, Youshan Miao, Jilong Xue, Ming Wu, Lidong Zhou, Yafei Dai

Proceedings of the 2019 USENIX Annual Technical Conference, 2019

Efficient and Effective Sparse LSTM on FPGA with Bank-Balanced Sparsity.

Shijie Cao, Chen Zhang, Zhuliang Yao, Wencong Xiao, Lanshun Nie, De-chen Zhan, Yunxin Liu, Ming Wu, Lintao Zhang

Proceedings of the 2019 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, 2019

Fast Distributed Deep Learning over RDMA.

Jilong Xue, Youshan Miao, Cheng Chen, Ming Wu, Lintao Zhang, Lidong Zhou

Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019, 2019

2018

Towards Efficient Large-Scale Graph Neural Network Computing.

Lingxiao Ma, Zhi Yang, Youshan Miao, Jilong Xue, Ming Wu, Lidong Zhou, Yafei Dai

CoRR, 2018

RPC Considered Harmful: Fast Distributed Deep Learning on RDMA.

Jilong Xue, Youshan Miao, Cheng Chen, Ming Wu, Lintao Zhang, Lidong Zhou

CoRR, 2018

SDPaxos: Building Efficient Semi-Decentralized Geo-replicated State Machines.

Hanyu Zhao, Quanlu Zhang, Zhi Yang, Ming Wu, Yafei Dai

Proceedings of the ACM Symposium on Cloud Computing, 2018

2017

Tux²: Distributed Graph Computation for Machine Learning.

Wencong Xiao, Jilong Xue, Youshan Miao, Zhen Li, Cheng Chen, Ming Wu, Wei Li, Lidong Zhou

Proceedings of the 14th USENIX Symposium on Networked Systems Design and Implementation, 2017

2015

ImmortalGraph: A System for Storage and Analysis of Temporal Graphs.

Youshan Miao, Wentao Han, Kaiwei Li, Ming Wu, Fan Yang, Lidong Zhou, Vijayan Prabhakaran, Enhong Chen, Wenguang Chen

ACM Trans. Storage, 2015

GraM: scaling graph computation to the trillions.

Ming Wu, Fan Yang, Jilong Xue, Wencong Xiao, Youshan Miao, Lan Wei, Haoxiang Lin, Yafei Dai, Lidong Zhou

Proceedings of the Sixth ACM Symposium on Cloud Computing, 2015

2014

Apollo: Scalable and Coordinated Scheduling for Cloud-Scale Computing.

Eric Boutin, Jaliya Ekanayake, Wei Lin, Bing Shi, Jingren Zhou, Zhengping Qian, Ming Wu, Lidong Zhou

Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014

Chronos: a graph engine for temporal graph analysis.

Wentao Han, Youshan Miao, Kaiwei Li, Ming Wu, Fan Yang, Lidong Zhou, Vijayan Prabhakaran, Wenguang Chen, Enhong Chen

Proceedings of the Ninth Eurosys Conference 2014, 2014

2013

Tango: distributed data structures over a shared log.

Mahesh Balakrishnan, Dahlia Malkhi, Ted Wobber, Ming Wu, Vijayan Prabhakaran, Michael Wei, John D. Davis, Sriram Rao, Tao Zou, Aviad Zuck

Proceedings of the ACM SIGOPS 24th Symposium on Operating Systems Principles, 2013

2012

Managing Large Graphs on Multi-Cores with Graph Awareness.

Vijayan Prabhakaran, Ming Wu, Xuetian Weng, Frank McSherry, Lidong Zhou, Maya Haradasan

Proceedings of the 2012 USENIX Annual Technical Conference, 2012

Kineograph: taking the pulse of a fast-changing and connected world.

Raymond Cheng, Ji Hong, Aapo Kyrola, Youshan Miao, Xuetian Weng, Ming Wu, Fan Yang, Lidong Zhou, Feng Zhao, Enhong Chen

Proceedings of the European Conference on Computer Systems, 2012

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

AutoLog: facing log redundancy and insufficiency.

Cheng Zhang, Zhenyu Guo, Ming Wu, Longwen Lu, Yu Fan, Jianjun Zhao, Zheng Zhang

Proceedings of the APSys '11 Asia Pacific Workshop on Systems, 2011

SLIM: Mmap from the cloud to device, and back.

Jinghao Shi, Mingyuan Xia, Ming Wu, Lintao Zhang, Zheng Zhang

Proceedings of the APSys '11 Asia Pacific Workshop on Systems, 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

2009

MPIWiz: subgroup reproducible replay of mpi applications.

Ruini Xue, Xuezheng Liu, Ming Wu, Zhenyu Guo, Wenguang Chen, Weimin Zheng, Zheng Zhang, Geoffrey M. Voelker

Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2009

MODIST: Transparent Model Checking of Unmodified Distributed Systems.

Junfeng Yang, Tisheng Chen, Ming Wu, Zhilei Xu, Xuezheng Liu, Haoxiang Lin, Mao Yang, Fan Long, Lintao Zhang, Lidong Zhou

Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, 2009

A Hybrid Model Checking and Runtime Monitoring Method for C++ Web Services.

Zhengwei Qi, Alei Liang, Haibing Guan, Ming Wu, Zheng Zhang

Proceedings of the International Conference on Networked Computing and Advanced Information Management, 2009

2008

R2: An Application-Level Kernel for Record and Replay.

Zhenyu Guo, Xi Wang, Jian Tang, Xuezheng Liu, Zhilei Xu, Ming Wu, M. Frans Kaashoek, Zheng Zhang

Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008

Corey: An Operating System for Many Cores.

Silas Boyd-Wickizer, Haibo Chen, Rong Chen, Yandong Mao, M. Frans Kaashoek, Robert Tappan Morris, Aleksey Pesterev, Lex Stein, Ming Wu, Yue-hua Dai, Yang Zhang, Zheng Zhang

Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008

D3S: Debugging Deployed Distributed Systems.

Xuezheng Liu, Zhenyu Guo, Xi Wang, Feibo Chen, Xiaochen Lian, Jian Tang, Ming Wu, M. Frans Kaashoek, Zheng Zhang

Proceedings of the 5th USENIX Symposium on Networked Systems Design & Implementation, 2008