Runzhou Tao (陶润洲)
Runzhou Tao is a fifth-year PhD student in Department of Computer
Science, Columbia Unversity. He is advised by Prof. Ronghui
Gu and works closely with Prof.
Jason Nieh, Prof. Fred Chong (UChicago)
and Prof.Xiaodi Wu (UMD) .
His research lies at the intersection of programming languages, operating systems and quantum computing,
with a focus on building trustworthy and efficient quantum computing system software.
He completes his Bachelor's Degree from Yao Class of Institute for
Interdisciplinary Information Sciences, Tsinghua University. In
his undergraduate time, he did research on theoretical computer science and
was advised by Prof. Boaz Barak, Prof. Venkatesan Guruswami and Prof. Zhiyi Huang when he visited Harvard University, Carnegie Mellon
University
and HKU.
I am on the academic job market this year (2023-24). Please don't hesitate to contact me with any opportunities!
Selected Publications
-
A Case for Synthesis of Recursive Quantum Unitary Programs
Haowei Deng*, Runzhou Tao*, Yuxiang Peng and Xiaodi Wu
The 51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL
2024), to appear
-
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
The 43rd ACM SIGPLAN Conference on Programming Language Design and Implementation (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
The 28th ACM Symposium on Operating Systems Principles (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
The 15th USENIX Symposium on Operating Systems Design and Implementation (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
The 42nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI
2021)
[arXiv] [paper] [code] [video]
-
Edge-Weighted Online Bipartite Matching
Matthew
Fahrbach, Zhiyi
Huang, Runzhou Tao and Morteza
Zadimoghaddam
The 61st Annual IEEE Symposium on Foundations of Computer Science (FOCS 2020)
Best Paper Award
[arXiv] [paper] [video]
Contact
|