Concepedia

Runzhou Tao

RT

Statistics

Publications

13

Citations

272

H-Index

10

Active since

2019

Affiliations

Columbia University(Current)

University of Hong Kong

University of Chicago

University of Maryland, College Park

Google (United States)

Runzhou Tao is an author at Columbia University specializing in computer science, computing, and computer engineering.

Publications per year

2019–2024

13

Publications

13

Giallar: push-button verification for the qiskit Quantum compiler

Runzhou Tao, Yunong Shi, Jianan Yao et al. · 2022 · 44 citations · Full text

Computing, Computer Engineering, Computer Science +17

Edge-Weighted Online Bipartite Matching

Matthew Fahrbach, Zhiyi Huang, Runzhou Tao et al. · 2020 · 34 citations

Computing, Computer Science, Mathematics +15

Tight competitive ratios of classic matching algorithms in the fully online model

Zhiyi Huang, Binghui Peng, Zhihao Gavin Tang et al. · arXiv (Cornell University) · 2019 · 33 citations · Full text

Computing, Computer Science, Mathematics +16

Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware

Runzhou Tao, Jianan Yao, Xupeng Li et al. · 2021 · 25 citations · Full text

Computing, Computer Engineering, Computer Science +17

Edge-Weighted Online Bipartite Matching

Matthew Fahrbach, Zhiyi Huang, Runzhou Tao et al. · Journal of the ACM · 2022 · 22 citations · Full text

Computing, Computer Science, Mathematics +15

1–5 of 13