Runzhou Tao
4 papers
· 2021–2025
· 2 conferences
· across top CS/AI conferences
Achievements
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π
Conference Polyglot
(2)
π
Cross-Pollinator
(5)
π
Renaissance Researcher
(6)
πΊοΈ
Taxonomy Completionist
(12)
Conferences
OSDI (3)
CVPR (1)
Top co-authors
Keywords
smt solver
(2)
safety property
(2)
inductive invariant
(2)
automated verification
(2)
formal verification
(1)
3d object detection
(1)
invariant learning
(1)
3d bounding box
(1)
virtual machine
(1)
resource utilization
(1)
distributed protocol
(1)
distributed protocol verification
(1)
smt solving
(1)
monocular 3d object detection
(1)
quantum gate
(1)
fault isolation
(1)
quantum virtual machine
(1)
quantum multiplexing
(1)
multi-view projection
(1)
direction consistency
(1)
Papers
Quantum Virtual Machines
OSDI 2025