Stable deterministic multithreading through schedule memoization H Cui 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10), 2010 | 154 | 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 | 116 | 2017 |
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 | 109 | 2013 |
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 | 109 | 2011 |
Verifying systems rules using rule-directed symbolic execution H Cui, G Hu, J Wu, J Yang ACM SIGPLAN Notices 48 (4), 329-342, 2013 | 92 | 2013 |
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 | 75 | 2022 |
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 | 74 | 2015 |
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 | 74 | 2010 |
Agentcoder: Multi-agent-based code generation with iterative testing and optimisation D Huang, Q Bu, JM Zhang, M Luck, H Cui arXiv preprint arXiv:2312.13010, 2023 | 60 | 2023 |
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 | 48 | 2012 |
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 | 46 | 2014 |
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 | 39 | 2021 |
Bias assessment and mitigation in llm-based code generation D Huang, Q Bu, J Zhang, X Xie, J Chen, H Cui arXiv preprint arXiv:2309.14345, 2023 | 33 | 2023 |
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 | 33 | 2021 |
{SOTER}: Guarding Black-box Inference for General Neural Networks at the Edge T Shen, J Qi, J Jiang, X Wang, S Wen, X Chen, S Zhao, S Wang, L Chen, ... 2022 USENIX Annual Technical Conference (USENIX ATC 22), 723-738, 2022 | 30 | 2022 |
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 | 29 | 2022 |
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 | 29 | 2020 |
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 | 29 | 2018 |
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 | 25 | 2021 |
Methods, systems, and media for providing determinism in multithreaded programs J Yang, H Cui, J Wu US Patent 9,454,460, 2016 | 22 | 2016 |