Runzhou Tao
Runzhou Tao
Verified email at columbia.edu - Homepage
Title
Cited by
Cited by
Year
Tight competitive ratios of classic matching algorithms in the fully online model
Z Huang, B Peng, ZG Tang, R Tao, X Wu, Y Zhang
Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete …, 2019
402019
Edge-weighted online bipartite matching
M Fahrbach, Z Huang, R Tao, M Zadimoghaddam
arXiv preprint arXiv:2005.01929, 2020
122020
CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler
Y Shi, R Tao, X Li, A Javadi-Abhari, AW Cross, FT Chong, R Gu
arXiv preprint arXiv:1908.08963, 2019
11*2019
Streaming Hardness of Unique Games
V Guruswami, R Tao
Approximation, Randomization, and Combinatorial Optimization. Algorithms and …, 2019
72019
InstaHide's Sample Complexity When Mixing Two Private Images
B Huang, Z Song, R Tao, R Zhang, D Zhuo
arXiv preprint arXiv:2011.11877, 2020
42020
Solving Tall Dense SDPs in the Current Matrix Multiplication Time
B Huang, S Jiang, Z Song, R Tao
arXiv preprint arXiv:2101.08208, 2021
12021
Symmetric Boolean Factor Analysis with Applications to InstaHide
S Chen, Z Song, R Tao, R Zhang
arXiv preprint arXiv:2102.01570, 2021
2021
Gleipnir: Toward Practical Error Analysis for Quantum Programs
R Tao, Y Shi, J Yao, J Hui, FT Chong, R Gu
2021
DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols
J Yao, R Tao, R Gu, J Nieh, S Jana, G Ryan
FOCS 2020 Awards
R Ilango, M Bun, R Livni, S Moran, M Fahrbach, Z Huang, R Tao, ...
The system can't perform the operation now. Try again later.
Articles 1–10