Runzhou Tao (陶润洲)
Runzhou Tao is an Assistant Professor of Computer Science at University of Maryland and a Fellow at QuICS. He obtained his Ph.D. from Columbia University in 2024, advised by Ronghui Gu, and his Bachelor's from Yao Class, Tsinghua University.
He builds software stack (PL, OS, verification) for quantum computers.
I am looking for motivated PhD students / RAs / Postdocs. If you are interested in Quantum Computing, Formal Verification, Programming Languages or Operating Systems, please feel free to send me an email!
Selected Publications
-
Quantum Virtual Machines
Runzhou Tao, Hongzheng Zhu, Jason Nieh, Jianan Yao, Ronghui Gu
OSDI 2025 · paper
-
A Case for Synthesis of Recursive Quantum Unitary Programs
Haowei Deng*, Runzhou Tao*, Yuxiang Peng and Xiaodi Wu
POPL 2024 · arXiv code
-
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 and Ronghui Gu
PLDI 2022 · arXiv code video
-
Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware -
Runzhou Tao, Jianan Yao, Xupeng
Li,
Shih-Wei Li, Jason Nieh and Ronghui Gu
SOSP 2021 · paper code video
-
DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols
Jianan Yao,
Runzhou Tao, Ronghui Gu, Jason Nieh, Suman Jana and Gabriel Ryan
OSDI 2021 Jay Lepreau Best Paper Award · paper code video
-
Gleipnir: Toward Practical Error Analysis for Quantum Programs
Runzhou Tao, Yunong Shi, Jianan
Yao, John Hui, Frederic T.
Chong and Ronghui Gu
PLDI 2021
· arXiv paper code video
-
Edge-Weighted Online Bipartite Matching
Matthew
Fahrbach, Zhiyi
Huang, Runzhou Tao and Morteza
Zadimoghaddam
FOCS 2020 Best Paper Award · arXiv paper video
Contact
-
rztao (at) umd (dot) edu· IRB 5160
5160 Brendan Iribe Center for Computer Science and Engineering
University of Maryland
8125 Paint Branch Drive
College Park, MD 20742
|