清华大学计算机系量子软件研究中心
清华大学计算机系量子软件研究中心
新闻动态
团队成员
学术活动
论文发表
Yuan Xie
最新发表
Zhaohui Yang
,
Yuwei Han
,
Ruiyun Zhang
,
Dawei Ding
,
Jianxin Chen
,
Yuan Feng
,
Yuan Xie
(2026).
Efficient Compilation for Hamiltonian Simulation via Global Binary Symplectic Form Simplification
. arXiv(预印本).
PDF
引用
arXiv
Zhaohui Yang
,
Kai Zhang
,
Xinyang Tian
,
Xiangyu Ren
,
Yingjian Liu
,
Yunfeng Li
,
Dawei Ding
,
Jianxin Chen
,
Yuan Xie
(2026).
Unifying Qubit Routing Across Diverse Quantum ISAs via Canonical Representation
. 2026 ACM/IEEE 53rd Annual International Symposium on Computer Architecture (ISCA).
PDF
引用
DOI
DOI
arXiv
Zhaohui Yang
,
Dawei Ding
,
Qi Ye
,
Cupjin Huang
,
Jianxin Chen
,
Yuan Xie
(2026).
Reconfigurable Quantum Instruction Set Computers for High Performance Attainable on Hardware
. Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2.
PDF
引用
DOI
DOI
arXiv
Zhaohui Yang
,
Dawei Ding
,
Chenghong Zhu
,
Jianxin Chen
,
Yuan Xie
(2025).
PHOENIX: Pauli-Based High-Level Optimization Engine for Instruction Execution on NISQ Devices
. 2025 62nd ACM/IEEE Design Automation Conference (DAC).
PDF
引用
DOI
arXiv
URL
DOI
Gushu Li
,
Li Zhou
,
Nengkun Yu
,
Yufei Ding
,
Mingsheng Ying
,
Yuan Xie
(2020).
Projection-based runtime assertions for testing and debugging Quantum programs
.
Proc. ACM Program. Lang.
.
引用
DOI
URL
Gushu Li
,
Li Zhou
,
Nengkun Yu
,
Yufei Ding
,
Mingsheng Ying
,
Yuan Xie
(2020).
Proq: Projection-based Runtime Assertions for Debugging on a Quantum Computer
.
引用
arXiv
URL
引用
×