| Agentcoder: Multi-agent-based code generation with iterative testing and optimisation D Huang, JM Zhang, M Luck, Q Bu, Y Qing, H Cui arXiv preprint arXiv:2312.13010, 2023 | 290 | 2023 |
| Stable deterministic multithreading through schedule memoization H Cui 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10), 2010 | 148 | 2010 |
| Bias testing and mitigation in llm-based code generation D Huang, J M. Zhang, Q Bu, X Xie, J Chen, H Cui ACM Transactions on Software Engineering and Methodology 35 (1), 1-31, 2025 | 139 | 2025 |
| 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 | 121 | 2017 |
| 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 |
| 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 | 108 | 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 | 103 | 2022 |
| Verifying systems rules using rule-directed symbolic execution H Cui, G Hu, J Wu, J Yang ACM SIGPLAN Notices 48 (4), 329-342, 2013 | 90 | 2013 |
| 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 | 83 | 2015 |
| Effibench: Benchmarking the efficiency of automatically generated code D Huang, Y Qing, W Shang, H Cui, JM Zhang Advances in Neural Information Processing Systems 37, 11506-11544, 2024 | 76 | 2024 |
| 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 | 76 | 2010 |
| {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 | 67 | 2022 |
| Graspvla: a grasping foundation model pre-trained on billion-scale synthetic action data S Deng, M Yan, S Wei, H Ma, Y Yang, J Chen, Z Zhang, T Yang, X Zhang, ... arXiv preprint arXiv:2505.03233, 2025 | 62 | 2025 |
| 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 | 62 | 2021 |
| 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 | 62 | 2021 |
| 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 | 49 | 2014 |
| 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 |
| Learning manipulation by predicting interaction J Zeng, Q Bu, B Wang, W Xia, L Chen, H Dong, H Song, D Wang, D Hu, ... arXiv preprint arXiv:2406.00439, 2024 | 45 | 2024 |
| Towards synergistic, generalized, and efficient dual-system for robotic manipulation Q Bu, H Li, L Chen, J Cai, J Zeng, H Cui, M Yao, Y Qiao arXiv preprint arXiv:2410.08001, 2024 | 44 | 2024 |
| Jitfuzz: Coverage-guided fuzzing for jvm just-in-time compilers M Wu, M Lu, H Cui, J Chen, Y Zhang, L Zhang 2023 IEEE/acm 45th international conference on software engineering (icse …, 2023 | 44 | 2023 |
Junfeng YangProfessor of Computer Science, Columbia UniversityVerified email at cs.columbia.edu
