| Stable Deterministic Multithreading through Schedule Memoization. H Cui, J Wu, CC Tsai, J Yang OSDI 10, 1-13, 2010 | 143 | 2010 |
| 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 | 114 | 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 | 110 | 2011 |
| 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 | 96 | 2017 |
| Verifying systems rules using rule-directed symbolic execution H Cui, G Hu, J Wu, J Yang ACM SIGPLAN Notices 48 (4), 329-342, 2013 | 86 | 2013 |
| Bypassing Races in Live Applications with Execution Filters. J Wu, H Cui, J Yang OSDI 10, 1-13, 2010 | 73 | 2010 |
| 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 | 67 | 2015 |
| 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 | 44 | 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 | 40 | 2012 |
| Methods, systems, and media for providing determinism in multithreaded programs J Yang, H Cui, J Wu US Patent 9,454,460, 2016 | 21 | 2016 |
| 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 | 18 | 2018 |
| 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 | 14 | 2020 |
| 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 | 13 | 2018 |
| {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 | 13 | 2018 |
| 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 | 12 | 2021 |
| Methods, systems, and media for protecting applications from races J Yang, H Cui, J Wu US Patent 9,038,048, 2015 | 12 | 2015 |
| 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 | 11 | 2019 |
| 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 | 10 | 2018 |
| 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 | 10 | 2013 |
| 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 | 9 | 2021 |
Junfeng YangAssociate Professor of Computer Science, Columbia UniversityBestätigte E-Mail-Adresse bei cs.columbia.edu
