Streaming Hardness of Unique Games. - Venkatesan Guruswami; Runzhou Tao (APPROX-RANDOM, 2019)

Tight Competitive Ratios of Classic Matching Algorithms in the Fully Online Model. - Zhiyi Huang 002; Binghui Peng; Zhihao Gavin Tang; Runzhou Tao; Xiaowei Wu 001; Yuhao Zhang 001 (SODA, 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)

Understanding Zadimoghaddam's Edge-weighted Online Matching Algorithm: Unweighted Case. - Zhiyi Huang 002; Runzhou Tao (CoRR, 2019)

InstaHide's Sample Complexity When Mixing Two Private Images. - Baihe Huang; Zhao Song 002; Runzhou Tao; Ruizhe Zhang 001; Danyang Zhuo (CoRR, 2020)

DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols. - Jianan Yao; Runzhou Tao; Ronghui Gu; Jason Nieh; Suman Jana; Gabriel Ryan (OSDI, 2021)

Gleipnir: toward practical error analysis for Quantum programs. - Runzhou Tao; Yunong Shi; Jianan Yao; John Hui; Frederic T. Chong; Ronghui Gu (PLDI, 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 (SOSP, 2021)

Solving Tall Dense SDPs in the Current Matrix Multiplication Time. - Baihe Huang; Shunhua Jiang; Zhao Song 002; Runzhou Tao (CoRR, 2021)

Symmetric Boolean Factor Analysis with Applications to InstaHide. - Sitan Chen; Zhao Song 002; Runzhou Tao; Ruizhe Zhang 001 (CoRR, 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)

A Convergence Theory for Federated Average: Beyond Smoothness. - Xiaoxiao Li; Zhao Song 002; Runzhou Tao; Guangyi Zhang (IEEE Big Data, 2022)

Solving SDP Faster: A Robust IPM Framework and Efficient Implementation. - Baihe Huang; Shunhua Jiang; Zhao Song 002; Runzhou Tao; Ruizhe Zhang 001 (FOCS, 2022)

Symmetric Sparse Boolean Matrix Factorization and Applications. - Sitan Chen; Zhao Song 002; Runzhou Tao; Ruizhe Zhang 001 (ITCS, 2022)

DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols. - Jianan Yao; Runzhou Tao; Ronghui Gu; Jason Nieh (OSDI, 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 (PLDI, 2022)

A Formally Certified End-to-End Implementation of Shor's Factorization Algorithm. - Yuxiang Peng; Kesha Hietala; Runzhou Tao; Liyi Li 002; Robert Rand 001; Michael Hicks 001; Xiaodi Wu 001 (CoRR, 2022)

Sublinear Time Algorithm for Online Weighted Bipartite Matching. - Hang Hu 014; Zhao Song 002; Runzhou Tao; Zhaozhuo Xu; Danyang Zhuo (CoRR, 2022)

Edge-Weighted Online Bipartite Matching. - Matthew Fahrbach; Zhiyi Huang 002; Runzhou Tao; Morteza Zadimoghaddam (J. ACM, 2022)

Weakly Supervised Monocular 3D Object Detection Using Multi-View Projection and Direction Consistency. - Runzhou Tao; Wencheng Han; Zhongying Qiu; Cheng-Zhong Xu 001; Jianbing Shen (CVPR, 2023)

Formal Verification of Quantum Software - Runzhou Tao (2024)

A Case for Synthesis of Recursive Quantum Unitary Programs. - Haowei Deng; Runzhou Tao; Yuxiang Peng; Xiaodi Wu 001 (Proc. ACM Program. Lang., 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., 2024)

Quantum Virtual Machines. - Runzhou Tao; Hongzheng Zhu; Jason Nieh; Jianan Yao; Ronghui Gu (OSDI, 2025)

Weakly Supervised Monocular 3D Object Detection by Spatial-Temporal View Consistency. - Wencheng Han; Runzhou Tao; Haibin Ling; Jianbing Shen (IEEE Trans. Pattern Anal. Mach. Intell., 2025)