Runzhou Tao

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