Runzhou Tao
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
7
Active years
2019–2025
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | OSDI | Quantum Virtual Machines. | Runzhou Tao, Hongzheng Zhu, Jason Nieh, Jianan Yao, Ronghui Gu |
| 2025 | QCE | Bifrost: Topology-Aware Approximate Compilation of Variational Quantum Algorithms. | Vivek Yanamadula, Jonathan Yang, Runzhou Tao |
| 2023 | CVPR | Weakly Supervised Monocular 3D Object Detection Using Multi-View Projection and Direction Consistency. | Runzhou Tao, Wencheng Han, Zhongying Qiu, Cheng-Zhong Xu, Jianbing Shen |
| 2022 | FOCS | Solving SDP Faster: A Robust IPM Framework and Efficient Implementation. | Baihe Huang, Shunhua Jiang, Zhao Song, Runzhou Tao, Ruizhe Zhang |
| 2022 | OSDI | DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols. | Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh |
| 2022 | PLDI | 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 |
| 2021 | OSDI | DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols. | Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh, Suman Jana, Gabriel Ryan |
| 2021 | PLDI | Gleipnir: toward practical error analysis for Quantum programs. | Runzhou Tao, Yunong Shi, Jianan Yao, John Hui, Frederic T. Chong, Ronghui Gu |
| 2021 | SOSP | Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware. | Runzhou Tao, Jianan Yao, Xupeng Li, Shih-Wei Li, Jason Nieh, Ronghui Gu |
| 2020 | FOCS | Edge-Weighted Online Bipartite Matching. | Matthew Fahrbach, Zhiyi Huang, Runzhou Tao, Morteza Zadimoghaddam |
| 2019 | SODA | 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 |