Runzhou Tao

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 30

Top Topics

Quantum Computation

Bipartite Matching

Formal Verification

Top Venues

Proc. ACM Program. Lang.

Publications

Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh
Mostly Automated Verification of Liveness Properties for Distributed Protocols with Ranking Functions. Proc. ACM Program. Lang. 8 (POPL) (2024)
Haowei Deng, Runzhou Tao, Yuxiang Peng, Xiaodi Wu
A Case for Synthesis of Recursive Quantum Unitary Programs. Proc. ACM Program. Lang. 8 (POPL) (2024)
Haowei Deng, Runzhou Tao, Yuxiang Peng, Xiaodi Wu
A Case for Synthesis of Recursive Quantum Unitary Programs. CoRR (2023)
Runzhou Tao, Wencheng Han, Zhongying Qiu, Cheng-Zhong Xu, Jianbing Shen
Weakly Supervised Monocular 3D Object Detection using Multi-View Projection and Direction Consistency. CoRR (2023)
Runzhou Tao, Wencheng Han, Zhongying Qiu, Cheng-Zhong Xu, Jianbing Shen
Weakly Supervised Monocular 3D Object Detection Using Multi-View Projection and Direction Consistency. CVPR (2023)
Sitan Chen, Zhao Song, Runzhou Tao, Ruizhe Zhang
Symmetric Sparse Boolean Matrix Factorization and Applications. ITCS (2022)
Xiaoxiao Li, Zhao Song, Runzhou Tao, Guangyi Zhang
A Convergence Theory for Federated Average: Beyond Smoothness. CoRR (2022)
Matthew Fahrbach, Zhiyi Huang, Runzhou Tao, Morteza Zadimoghaddam
Edge-Weighted Online Bipartite Matching. J. ACM 69 (6) (2022)
Xiaoxiao Li, Zhao Song, Runzhou Tao, Guangyi Zhang
A Convergence Theory for Federated Average: Beyond Smoothness. Big Data (2022)
Runzhou Tao, Yunong Shi, Jianan Yao, Xupeng Li, Ali Javadi-Abhari, Andrew W. Cross, Frederic T. Chong, Ronghui Gu
Giallar: push-button verification for the qiskit Quantum compiler. PLDI (2022)
Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh
DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols. OSDI (2022)
Hang Hu, Zhao Song, Runzhou Tao, Zhaozhuo Xu, Danyang Zhuo
Sublinear Time Algorithm for Online Weighted Bipartite Matching. CoRR (2022)
Runzhou Tao, Yunong Shi, Jianan Yao, Xupeng Li, Ali Javadi-Abhari, Andrew W. Cross, Frederic T. Chong, Ronghui Gu
Giallar: Push-Button Verification for the Qiskit Quantum Compiler. CoRR (2022)
Yuxiang Peng, Kesha Hietala, Runzhou Tao, Liyi Li, Robert Rand, Michael Hicks, Xiaodi Wu
A Formally Certified End-to-End Implementation of Shor's Factorization Algorithm. CoRR (2022)
Baihe Huang, Shunhua Jiang, Zhao Song, Runzhou Tao, Ruizhe Zhang
Solving SDP Faster: A Robust IPM Framework and Efficient Implementation. FOCS (2022)
Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh, Suman Jana, Gabriel Ryan
DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols. OSDI (2021)
Runzhou Tao, Jianan Yao, Xupeng Li, Shih-Wei Li, Jason Nieh, Ronghui Gu
Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware. SOSP (2021)
Baihe Huang, Shunhua Jiang, Zhao Song, Runzhou Tao
Solving Tall Dense SDPs in the Current Matrix Multiplication Time. CoRR (2021)
Sitan Chen, Zhao Song, Runzhou Tao, Ruizhe Zhang
Symmetric Boolean Factor Analysis with Applications to InstaHide. CoRR (2021)
Runzhou Tao, Yunong Shi, Jianan Yao, John Hui, Frederic T. Chong, Ronghui Gu
Gleipnir: Toward Practical Error Analysis for Quantum Programs (Extended Version). CoRR (2021)
Runzhou Tao, Yunong Shi, Jianan Yao, John Hui, Frederic T. Chong, Ronghui Gu
Gleipnir: toward practical error analysis for Quantum programs. PLDI (2021)
Baihe Huang, Zhao Song, Runzhou Tao, Ruizhe Zhang, Danyang Zhuo
InstaHide's Sample Complexity When Mixing Two Private Images. CoRR (2020)
Matthew Fahrbach, Zhiyi Huang, Runzhou Tao, Morteza Zadimoghaddam
Edge-Weighted Online Bipartite Matching. CoRR (2020)
Matthew Fahrbach, Zhiyi Huang, Runzhou Tao, Morteza Zadimoghaddam
Edge-Weighted Online Bipartite Matching. FOCS (2020)
Venkatesan Guruswami, Runzhou Tao
Streaming Hardness of Unique Games. APPROX-RANDOM (2019)
Yunong Shi, Xupeng Li, Runzhou Tao, Ali Javadi-Abhari, Andrew W. Cross, Frederic T. Chong, Ronghui Gu
Contract-based verification of a realistic quantum compiler. CoRR (2019)
Zhiyi Huang, Binghui Peng, Zhihao Gavin Tang, Runzhou Tao, Xiaowei Wu, Yuhao Zhang
Tight Competitive Ratios of Classic Matching Algorithms in the Fully Online Model. SODA (2019)
Zhiyi Huang, Runzhou Tao
Understanding Zadimoghaddam's Edge-weighted Online Matching Algorithm: Unweighted Case. CoRR (2019)
Zhiyi Huang, Binghui Peng, Zhihao Gavin Tang, Runzhou Tao, Xiaowei Wu, Yuhao Zhang
Tight Competitive Ratios of Classic Matching Algorithms in the Fully Online Model. CoRR (2018)
Venkatesan Guruswami, Runzhou Tao
Streaming Hardness of Unique Games. CoRR (2018)