Heming Cui

According to our database1, Heming Cui authored at least 25 papers between 2008 and 2019.

Collaborative distances:



In proceedings 
PhD thesis 


On csauthors.net:


NFVactor: A Resilient NFV System Using the Distributed Actor Model.
IEEE Journal on Selected Areas in Communications, 2019

Confluence: Speeding Up Iterative Distributed Operations by Key-Dependency-Aware Partitioning.
IEEE Trans. Parallel Distrib. Syst., 2018

Panacea: A low-latency, energy-efficient neighbor discovery protocol for wireless sensor networks.
Proceedings of the 2018 IEEE Wireless Communications and Networking Conference, 2018

Effectively Mitigating I/O Inactivity in vCPU Scheduling.
Proceedings of the 2018 USENIX Annual Technical Conference, 2018

How Local Information Improves Rendezvous in Cognitive Radio Networks.
Proceedings of the 15th Annual IEEE International Conference on Sensing, 2018

PLOVER: Fast, Multi-core Scalable Virtual Machine Fault-tolerance.
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.
Proceedings of the 15th IEEE International Conference on Mobile Ad Hoc and Sensor Systems, 2018

OWL: Understanding and Detecting Concurrency Attacks.
Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2018

A Fast, General Storage Replication Protocol for Active-Active Virtual Machine Fault Tolerance.
Proceedings of the 23rd IEEE International Conference on Parallel and Distributed Systems, 2017

Speeding up 3D Printing Using Multi-Head Slicing Algorithms.
Proceedings of the 5th International Conference on Enterprise Systems, 2017

APUS: fast and scalable paxos on RDMA.
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.
Proceedings of the 33rd Annual Computer Security Applications Conference, 2017

TRIPOD: An Efficient, Highly-available Cluster Management System.
Proceedings of the 7th ACM SIGOPS Asia-Pacific Workshop on Systems, 2016

Paxos made transparent.
Proceedings of the 25th Symposium on Operating Systems Principles, 2015

RepFrame: An Efficient and Transparent Framework for Dynamic Program Analysis.
Proceedings of the 6th Asia-Pacific Workshop on Systems, 2015

Making parallel programs reliable with stable multithreading.
Commun. ACM, 2014

Parrot: a practical runtime for deterministic, stable, and reliable threads.
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.
Proceedings of the 5th USENIX Workshop on Hot Topics in Parallelism, 2013

Verifying systems rules using rule-directed symbolic execution.
Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2013

Sound and precise analysis of parallel programs through schedule specialization.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Efficient deterministic multithreading through schedule relaxation.
Proceedings of the 23rd ACM Symposium on Operating Systems Principles 2011, 2011

Bypassing Races in Live Applications with Execution Filters.
Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, 2010

Stable Deterministic Multithreading through Schedule Memoization.
Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, 2010

A multi-rate MAC protocol for mobile ad hoc networks and its cooperative extension.
Proceedings of the 4th Annual International Conference on Wireless Internet, 2008

EBEM: An Event-driven Bandwidth Estimation Method for Mobile Ad Hoc Network.
Proceedings of The 2008 IEEE International Conference on Networking, 2008