Heming Cui
According to our database1,
Heming Cui
authored at least 24 papers
between 2008 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
On csauthors.net:
Bibliography
2018
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
2017
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
2016
TRIPOD: An Efficient, Highly-available Cluster Management System.
Proceedings of the 7th ACM SIGOPS Asia-Pacific Workshop on Systems, 2016
2015
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
2014
Making parallel programs reliable with stable multithreading.
Commun. ACM, 2014
2013
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
2012
Sound and precise analysis of parallel programs through schedule specialization.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012
2011
Efficient deterministic multithreading through schedule relaxation.
Proceedings of the 23rd ACM Symposium on Operating Systems Principles 2011, 2011
2010
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
2008
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