Runzhou Tao

According to our database, Runzhou Tao authored at least 22 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Mostly Automated Verification of Liveness Properties for Distributed Protocols with Ranking Functions.

Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh

Proc. ACM Program. Lang., January, 2024

A Case for Synthesis of Recursive Quantum Unitary Programs.

Haowei Deng, Runzhou Tao, Yuxiang Peng, Xiaodi Wu

Proc. ACM Program. Lang., January, 2024

2023

Weakly Supervised Monocular 3D Object Detection Using Multi-View Projection and Direction Consistency.

Runzhou Tao, Wencheng Han, Zhongying Qiu, Cheng-Zhong Xu, Jianbing Shen

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023

2022

Edge-Weighted Online Bipartite Matching.

Matthew Fahrbach, Zhiyi Huang, Runzhou Tao, Morteza Zadimoghaddam

J. ACM, 2022

Sublinear Time Algorithm for Online Weighted Bipartite Matching.

Hang Hu, Zhao Song, Runzhou Tao, Zhaozhuo Xu, Danyang Zhuo

CoRR, 2022

A Formally Certified End-to-End Implementation of Shor's Factorization Algorithm.

Yuxiang Peng, Kesha Hietala, Runzhou Tao, Liyi Li, Robert Rand, Michael Hicks, Xiaodi Wu

CoRR, 2022

Giallar: push-button verification for the qiskit Quantum compiler.

Runzhou Tao, Yunong Shi, Jianan Yao, Xupeng Li, Ali Javadi-Abhari, Andrew W. Cross, Frederic T. Chong, Ronghui Gu

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols.

Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh

Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, 2022

Symmetric Sparse Boolean Matrix Factorization and Applications.

Sitan Chen, Zhao Song, Runzhou Tao, Ruizhe Zhang

Proceedings of the 13th Innovations in Theoretical Computer Science Conference, 2022

Solving SDP Faster: A Robust IPM Framework and Efficient Implementation.

Baihe Huang, Shunhua Jiang, Zhao Song, Runzhou Tao, Ruizhe Zhang

Proceedings of the 63rd IEEE Annual Symposium on Foundations of Computer Science, 2022

A Convergence Theory for Federated Average: Beyond Smoothness.

Xiaoxiao Li, Zhao Song, Runzhou Tao, Guangyi Zhang

Proceedings of the IEEE International Conference on Big Data, 2022

2021

Gleipnir: Toward Practical Error Analysis for Quantum Programs (Extended Version).

Runzhou Tao, Yunong Shi, Jianan Yao, John Hui, Frederic T. Chong, Ronghui Gu

CoRR, 2021

Symmetric Boolean Factor Analysis with Applications to InstaHide.

Sitan Chen, Zhao Song, Runzhou Tao, Ruizhe Zhang

CoRR, 2021

Solving Tall Dense SDPs in the Current Matrix Multiplication Time.

Baihe Huang, Shunhua Jiang, Zhao Song, Runzhou Tao

CoRR, 2021

Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware.

Runzhou Tao, Jianan Yao, Xupeng Li, Shih-Wei Li, Jason Nieh, Ronghui Gu

Proceedings of the SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, 2021

Gleipnir: toward practical error analysis for Quantum programs.

Runzhou Tao, Yunong Shi, Jianan Yao, John Hui, Frederic T. Chong, Ronghui Gu

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols.

Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh, Suman Jana, Gabriel Ryan

Proceedings of the 15th USENIX Symposium on Operating Systems Design and Implementation, 2021

2020

InstaHide's Sample Complexity When Mixing Two Private Images.

Baihe Huang, Zhao Song, Runzhou Tao, Ruizhe Zhang, Danyang Zhuo

CoRR, 2020

2019

Understanding Zadimoghaddam's Edge-weighted Online Matching Algorithm: Unweighted Case.

Zhiyi Huang, Runzhou Tao

CoRR, 2019

Contract-based verification of a realistic quantum compiler.

Yunong Shi, Xupeng Li, Runzhou Tao, Ali Javadi-Abhari, Andrew W. Cross, Frederic T. Chong, Ronghui Gu

CoRR, 2019

Tight Competitive Ratios of Classic Matching Algorithms in the Fully Online Model.

Zhiyi Huang, Binghui Peng, Zhihao Gavin Tang, Runzhou Tao, Xiaowei Wu, Yuhao Zhang

Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms, 2019

Streaming Hardness of Unique Games.

Venkatesan Guruswami, Runzhou Tao

Proceedings of the Approximation, 2019