Takip et
Runzhou Tao
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
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
88*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
852020
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
722019
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
66*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
652021
{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
402022
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
402021
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
28*2021
Streaming Hardness of Unique Games
V Guruswami, R Tao
[APPROX/RANDOM 2019] Approximation, Randomization, and Combinatorial …, 2019
272019
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
172023
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
152024
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
132022
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
102022
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
82024
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
62020
Sublinear time algorithm for online weighted bipartite matching
H Hu, Z Song, R Tao, Z Xu, J Yin, D Zhuo
arXiv preprint arXiv:2208.03367, 2022
52022
CertiQ: A mostly-automated verification of a realistic quantum compiler (2019)
Y Shi, R Tao, X Li, A Javadi-Abhari, AW Cross, FT Chong, R Gu
arXiv preprint arXiv:1908.08963, 2019
52019
Systems, methods, and media for proving the correctness of software on relaxed memory hardware
R Gu, J Nieh, R Tao
US Patent 12,079,102, 2024
12024
Formal Verification of Quantum Software
R Tao
Columbia University, 2024
12024
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20
OSZAR »