Runzhou Tao (陶润洲)
Runzhou Tao is a third-year PhD student in Department of Computer
Science, Columbia Unversity.
He completes his Bachelor's Degree from Yao Class of Institute for
Interdisciplinary Information Sciences, Tsinghua University. In
his undergraduate time, he was advised by Prof. Boaz Barak, Prof. Venkatesan Guruswami and Prof. Zhiyi Huang when he visited Harvard University, Carnegie Mellon
University
and HKU.
Research Interests
Programming language, Quantum computing, Operating system
Selected Publications
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]
-
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
|