| Solving sdp faster: A robust ipm framework and efficient implementation B Huang, S Jiang, Z Song, R Tao, R Zhang [FOCS 2022] IEEE 63rd Annual Symposium on Foundations of Computer Science …, 2022 | 69* | 2022 |
| Edge-weighted online bipartite matching M Fahrbach, Z Huang, R Tao, M Zadimoghaddam [FOCS 2020] 61st IEEE Annual Symposium on Foundations of Computer Science 1 …, 2020 | 68 | 2020 |
| Tight competitive ratios of classic matching algorithms in the fully online model Z Huang, B Peng, ZG Tang, R Tao, X Wu, Y Zhang [SODA 2019] 30th Annual ACM-SIAM Symposium on Discrete Algorithms, 2875-2886, 2019 | 63 | 2019 |
| Giallar: push-button verification for the qiskit Quantum compiler R Tao, Y Shi, J Yao, X Li, A Javadi-Abhari, AW Cross, FT Chong, R Gu [PLDI 2022] Proceedings of the 43rd ACM SIGPLAN International Conference on …, 2022 | 51* | 2022 |
| DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols J Yao, R Tao, R Gu, J Nieh, S Jana, G Ryan [OSDI 2021] 15th USENIX Symposium on Operating Systems Design and …, 2021 | 49 | 2021 |
| Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware R Tao, J Yao, X Li, SW Li, J Nieh, R Gu [SOSP 2021] 28th ACM SIGOPS Symposium on Operating Systems Principles, 866-881, 2021 | 31 | 2021 |
| {DuoAI}: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols J Yao, R Tao, R Gu, J Nieh [OSDI 2022]16th USENIX Symposium on Operating Systems Design and …, 2022 | 27 | 2022 |
| Streaming Hardness of Unique Games V Guruswami, R Tao [APPROX/RANDOM 2019] Approximation, Randomization, and Combinatorial …, 2019 | 26 | 2019 |
| Gleipnir: toward practical error analysis for Quantum programs R Tao, Y Shi, J Yao, J Hui, FT Chong, R Gu [PLDI 2021] 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 21* | 2021 |
| A formally certified end-to-end implementation of Shor’s factorization algorithm Y Peng, K Hietala, R Tao, L Li, R Rand, M Hicks, X Wu Proceedings of the National Academy of Sciences 120 (21), e2218775120, 2023 | 10 | 2023 |
| A faster quantum algorithm for semidefinite programming via robust IPM framework B Huang, S Jiang, Z Song, R Tao, R Zhang arXiv preprint arXiv:2207.11154, 2022 | 10 | 2022 |
| Symmetric Sparse Boolean Matrix Factorization and Applications S Chen, Z Song, R Tao, R Zhang [ITCS 2022] 13th Innovations in Theoretical Computer Science Conference, 2022 | 7* | 2022 |
| InstaHide's Sample Complexity When Mixing Two Private Images B Huang, Z Song, R Tao, J Yin, R Zhang, D Zhuo arXiv preprint arXiv:2011.11877, 2020 | 5 | 2020 |
| Mostly Automated Verification of Liveness Properties for Distributed Protocols with Ranking Functions J Yao, R Tao, R Gu, J Nieh Proceedings of the ACM on Programming Languages 8 (POPL), 1028-1059, 2024 | 4 | 2024 |
| A case for synthesis of recursive quantum unitary programs H Deng, R Tao, Y Peng, X Wu Proceedings of the ACM on Programming Languages 8 (POPL), 1759-1788, 2024 | 4 | 2024 |
| A convergence theory for federated average: Beyond smoothness X Li, Z Song, R Tao, G Zhang 2022 IEEE International Conference on Big Data (Big Data), 1292-1297, 2022 | 4 | 2022 |
| Sublinear time algorithm for online weighted bipartite matching H Hu, Z Song, R Tao, Z Xu, D Zhuo arXiv preprint arXiv:2208.03367, 2022 | 2 | 2022 |
| Approximate Compilation of Variational Quantum Algorithms R Tao, Y Shi, S Anagolum, R Gu, V Yanamadula Bulletin of the American Physical Society, 2024 | | 2024 |
| Systems, methods, and media for proving the correctness of software on relaxed memory hardware R Gu, J Nieh, R Tao US Patent App. 17/376,120, 2022 | | 2022 |
| FOCS 2020 Awards R Ilango, M Bun, R Livni, S Moran, M Fahrbach, Z Huang, R Tao, ... | | |
Ronghui GuAssociate Professor of Computer Science, Columbia University在 columbia.edu 的电子邮件经过验证
