Heming Cui
Title
Cited by
Cited by
Year
Stable Deterministic Multithreading through Schedule Memoization.
H Cui, J Wu, CC Tsai, J Yang
OSDI 10, 10, 2010
1272010
Efficient deterministic multithreading through schedule relaxation
H Cui, J Wu, J Gallagher, H Guo, J Yang
Proceedings of the Twenty-Third ACM Symposium on Operating Systemsá…, 2011
982011
Parrot: A practical runtime for deterministic, stable, and reliable threads
H Cui, J Simsa, YH Lin, H Li, B Blum, X Xu, J Yang, GA Gibson, RE Bryant
Proceedings of the Twenty-Fourth ACM Symposium on Operating Systemsá…, 2013
962013
Bypassing Races in Live Applications with Execution Filters.
J Wu, H Cui, J Yang
OSDI 10, 1-13, 2010
702010
Verifying systems rules using rule-directed symbolic execution
H Cui, G Hu, J Wu, J Yang
ACM SIGPLAN Notices 48 (4), 329-342, 2013
652013
Augmented reality
A Arusoaie, AI Cristei, C Chircu, MA Livadariu, V Manea, A Iftene
2010 12th International Symposium on Symbolic and Numeric Algorithms forá…, 2010
62*2010
Apus: Fast and scalable paxos on rdma
C Wang, J Jiang, X Chen, N Yi, H Cui
Proceedings of the 2017 Symposium on Cloud Computing, 94-107, 2017
572017
Paxos made transparent
H Cui, R Gu, C Liu, T Chen, J Yang
Proceedings of the 25th Symposium on Operating Systems Principles, 105-120, 2015
512015
Making parallel programs reliable with stable multithreading
J Yang, H Cui, J Wu, Y Tang, G Hu
Communications of the ACM 57 (3), 58-69, 2014
402014
Sound and precise analysis of parallel programs through schedule specialization
J Wu, Y Tang, G Hu, H Cui, J Yang
ACM SIGPLAN Notices 47 (6), 205-216, 2012
372012
The University of Hong Kong
J Yu
Hong Kong, 2007
222007
Methods, systems, and media for providing determinism in multithreaded programs
J Yang, H Cui, J Wu
US Patent 9,454,460, 2016
202016
Net2Text: Query-guided summarization of network forwarding behaviors
R Birkner, D Drachsler-Cohen, L Vanbever, M Vechev
15th {USENIX} Symposium on Networked Systems Design and Implementationá…, 2018
152018
{PLOVER}: Fast, Multi-core Scalable Virtual Machine Fault-tolerance
C Wang, X Chen, W Jia, B Li, H Qiu, S Zhao, H Cui
15th {USENIX} Symposium on Networked Systems Design and Implementationá…, 2018
102018
Methods, systems, and media for protecting applications from races
J Yang, H Cui, J Wu
US Patent 9,038,048, 2015
102015
Determinism is overrated: What really makes multithreaded programs hard to get right and what can be done about it
J Yang, H Cui, J Wu
5th {USENIX} Workshop on Hot Topics in Parallelism (HotPar 13), 2013
102013
NFVactor: A Resilient NFV System Using the Distributed Actor Model
J Duan, X Yi, S Zhao, C Wu, H Cui, F Le
IEEE Journal on Selected Areas in Communications 37 (3), 586-599, 2019
92019
Owl: Understanding and detecting concurrency attacks
S Zhao, R Gu, H Qiu, TO Li, Y Wang, H Cui, J Yang
2018 48th Annual IEEE/IFIP International Conference on Dependable Systemsá…, 2018
82018
How local information improves rendezvous in cognitive radio networks
Y Fu, Y Wang, Z Gu, X Zheng, T Wei, Z Cao, H Cui, FCM Lau
2018 15th Annual IEEE International Conference on Sensing, Communicationá…, 2018
72018
Panacea: A low-latency, energy-efficient neighbor discovery protocol for wireless sensor networks
Z Cao, Z Gu, Y Wang, H Cui
2018 IEEE Wireless Communications and Networking Conference (WCNC), 1-6, 2018
62018
The system can't perform the operation now. Try again later.
Articles 1–20