Runzhou Tao (陶润洲)

Runzhou Tao is an Assistant Professor in the Department of Computer Science at the University of Maryland, College Park and a Fellow at the Joint Center for Quantum Information and Computer Science (QuICS).

Runzhou obtained his Ph.D. in 2024 from the Department of Computer Science at Columbia Unversity. He was advised by Prof. Ronghui Gu. He completes his Bachelor's Degree from Yao Class of Institute for Interdisciplinary Information Sciences, Tsinghua University.

His research interest lies at the intersection of programming languages, operating systems and quantum computing.

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)
  [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
  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

• Email: rztao (at) umd (dot) edu

• Office: IRB 5160

• Address:
  5160 Brendan Iribe Center for Computer Science and Engineering
  University of Maryland
  8125 Paint Branch Drive
  College Park, MD 20742