Heming Cui

According to our database, Heming Cui authored at least 24 papers between 2008 and 2018.

Collaborative distances:

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

2018

Confluence: Speeding Up Iterative Distributed Operations by Key-Dependency-Aware Partitioning.

Feng Liang, Francis C. M. Lau, Heming Cui, Cho-Li Wang

IEEE Trans. Parallel Distrib. Syst., 2018

Panacea: A low-latency, energy-efficient neighbor discovery protocol for wireless sensor networks.

Zhen Cao, Zhaoquan Gu, Yuexuan Wang, Heming Cui

Proceedings of the 2018 IEEE Wireless Communications and Networking Conference, 2018

Effectively Mitigating I/O Inactivity in vCPU Scheduling.

Weiwei Jia, Cheng Wang, Xusheng Chen, Jianchen Shan, Xiaowei Shang, Heming Cui, Xiaoning Ding, Luwei Cheng, Francis C. M. Lau, Yuexuan Wang, Yuangang Wang

Proceedings of the 2018 USENIX Annual Technical Conference, 2018

How Local Information Improves Rendezvous in Cognitive Radio Networks.

Yongqin Fu, Yuexuan Wang, Zhaoquan Gu, Xiaolin Zheng, Tianhao Wei, Zhen Cao, Heming Cui, Francis C. M. Lau

Proceedings of the 15th Annual IEEE International Conference on Sensing, 2018

PLOVER: Fast, Multi-core Scalable Virtual Machine Fault-tolerance.

Cheng Wang, Xusheng Chen, Weiwei Jia, Boxuan Li, Haoran Qiu, Shixiong Zhao, Heming Cui

Proceedings of the 15th USENIX Symposium on Networked Systems Design and Implementation, 2018

Alano: An Efficient Neighbor Discovery Algorithm in an Energy-Restricted Large-Scale Network.

Tong Shen, Yuexuan Wang, Zhaoquan Gu, Dongda Li, Zhen Cao, Heming Cui, Francis C. M. Lau

Proceedings of the 15th IEEE International Conference on Mobile Ad Hoc and Sensor Systems, 2018

OWL: Understanding and Detecting Concurrency Attacks.

Shixiong Zhao, Rui Gu, Haoran Qiu, Tsz On Li, Yuexuan Wang, Heming Cui, Junfeng Yang

Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2018

2017

A Fast, General Storage Replication Protocol for Active-Active Virtual Machine Fault Tolerance.

Cheng Wang, Xusheng Chen, Zixu Wang, Youwei Zhu, Heming Cui

Proceedings of the 23rd IEEE International Conference on Parallel and Distributed Systems, 2017

Speeding up 3D Printing Using Multi-Head Slicing Algorithms.

Yuexuan Wang, Zhaoquan Gu, Lei Song, Tongyang Li, Heming Cui, Francis C. M. Lau

Proceedings of the 5th International Conference on Enterprise Systems, 2017

APUS: fast and scalable paxos on RDMA.

Cheng Wang, Jianyu Jiang, Xusheng Chen, Ning Yi, Heming Cui

Proceedings of the 2017 Symposium on Cloud Computing, SoCC 2017, Santa Clara, CA, USA, 2017

Kakute: A Precise, Unified Information Flow Analysis System for Big-data Security.

Jianyu Jiang, Shixiong Zhao, Danish Alsayed, Yuexuan Wang, Heming Cui, Feng Liang, Zhaoquan Gu

Proceedings of the 33rd Annual Computer Security Applications Conference, 2017

2016

TRIPOD: An Efficient, Highly-available Cluster Management System.

Cheng Wang, Jingyu Yang, Ning Yi, Heming Cui

Proceedings of the 7th ACM SIGOPS Asia-Pacific Workshop on Systems, 2016

2015

Paxos made transparent.

Heming Cui, Rui Gu, Cheng Liu, Tianyu Chen, Junfeng Yang

Proceedings of the 25th Symposium on Operating Systems Principles, 2015

RepFrame: An Efficient and Transparent Framework for Dynamic Program Analysis.

Heming Cui, Rui Gu, Cheng Liu, Junfeng Yang

Proceedings of the 6th Asia-Pacific Workshop on Systems, 2015

2014

Making parallel programs reliable with stable multithreading.

Junfeng Yang, Heming Cui, Jingyue Wu, Yang Tang, Gang Hu

Commun. ACM, 2014

2013

Parrot: a practical runtime for deterministic, stable, and reliable threads.

Heming Cui, Jirí Simsa, Yi-Hong Lin, Hao Li, Ben Blum, Xinan Xu, Junfeng Yang, Garth A. Gibson, Randal E. Bryant

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

Determinism Is Overrated: What Really Makes Multithreaded Programs Hard to Get Right and What Can Be Done About It.

Junfeng Yang, Heming Cui, Jingyue Wu

Proceedings of the 5th USENIX Workshop on Hot Topics in Parallelism, 2013

Verifying systems rules using rule-directed symbolic execution.

Heming Cui, Gang Hu, Jingyue Wu, Junfeng Yang

Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2013

2012

Sound and precise analysis of parallel programs through schedule specialization.

Jingyue Wu, Yang Tang, Gang Hu, Heming Cui, Junfeng Yang

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

2011

Efficient deterministic multithreading through schedule relaxation.

Heming Cui, Jingyue Wu, John Gallagher, Huayang Guo, Junfeng Yang

Proceedings of the 23rd ACM Symposium on Operating Systems Principles 2011, 2011

2010

Bypassing Races in Live Applications with Execution Filters.

Jingyue Wu, Heming Cui, Junfeng Yang

Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, 2010

Stable Deterministic Multithreading through Schedule Memoization.

Heming Cui, Jingyue Wu, Chia-che Tsai, Junfeng Yang

Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, 2010

2008

A multi-rate MAC protocol for mobile ad hoc networks and its cooperative extension.

Cong Lin, Yong Xiang, Heming Cui

Proceedings of the 4th Annual International Conference on Wireless Internet, 2008

EBEM: An Event-driven Bandwidth Estimation Method for Mobile Ad Hoc Network.

Heming Cui, Cong Lin, Yong Xiang

Proceedings of The 2008 IEEE International Conference on Networking, 2008