Follow
Heming Cui
Title
Cited by
Cited by
Year
Stable deterministic multithreading through schedule memoization
H Cui
9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10), 2010
1532010
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
1152013
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
1132011
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
1092017
Verifying systems rules using rule-directed symbolic execution
H Cui, G Hu, J Wu, J Yang
ACM SIGPLAN Notices 48 (4), 329-342, 2013
932013
Bypassing races in live applications with execution filters
J Wu, H Cui, J Yang
9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10), 2010
762010
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
712015
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
462014
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
442012
One fuzzing strategy to rule them all
M Wu, L Jiang, J Xiang, Y Huang, H Cui, L Zhang, Y Zhang
Proceedings of the 44th International Conference on Software Engineering …, 2022
432022
Uranus: Simple, efficient sgx programming and its applications
J Jiang, X Chen, TO Li, C Wang, T Shen, S Zhao, H Cui, CL Wang, ...
Proceedings of the 15th ACM Asia Conference on Computer and Communications …, 2020
242020
Bidl: A high-throughput, low-latency permissioned blockchain framework for datacenter networks
J Qi, X Chen, Y Jiang, J Jiang, T Shen, S Zhao, S Wang, G Zhang, L Chen, ...
Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles …, 2021
232021
vPipe: A Virtualized Acceleration System for Achieving Efficient and Scalable Pipeline Parallel DNN Training
S Zhao, F Li, X Chen, X Guan, J Jiang, D Huang, Y Qing, S Wang, P Wang, ...
IEEE Transactions on Parallel and Distributed Systems 33 (3), 489-506, 2021
222021
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
222018
Methods, systems, and media for providing determinism in multithreaded programs
J Yang, H Cui, J Wu
US Patent 9,454,460, 2016
222016
Evaluating and improving neural program-smoothing-based fuzzing
M Wu, L Jiang, J Xiang, Y Zhang, G Yang, H Ma, S Nie, S Wu, H Cui, ...
Proceedings of the 44th International Conference on Software Engineering …, 2022
192022
{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 (NSDI …, 2018
182018
Achieving low tail-latency and high scalability for serializable transactions in edge computing
X Chen, H Song, J Jiang, C Ruan, C Li, S Wang, G Zhang, R Cheng, ...
Proceedings of the Sixteenth European Conference on Computer Systems, 210-227, 2021
162021
Effectively Mitigating {I/O} Inactivity in {vCPU} Scheduling
W Jia, C Wang, X Chen, J Shan, X Shang, H Cui, X Ding, L Cheng, ...
2018 USENIX Annual Technical Conference (USENIX ATC 18), 267-280, 2018
162018
Methods, systems, and media for protecting applications from races
J Yang, H Cui, J Wu
US Patent 9,038,048, 2015
142015
The system can't perform the operation now. Try again later.
Articles 1–20