Page 20 - 《软件学报》2025年第8期

谭思危 等: Fast-USYN: 从酉矩阵到高质量量子电路的快速合成 3443

Programming Languages, 2024, 8(OOPSLA1): 114. [doi: 10.1145/3649831]
[31] Dou XL, Liu L, Chen YT. An investigation into quantum program mapping on superconducting quantum computers. Journal of Computer
Research and Development, 2021, 58(9): 1856–1874 (in Chinese with English abstract). [doi: 10.7544/issn1000-1239.2021.20210314]
[32] Das P, Tannu S, Dangwal S, Qureshi M. ADAPT: Mitigating idling errors in qubits via adaptive dynamical decoupling. In: Proc. of the
54th Annual IEEE/ACM Int’l Symp. on Microarchitecture. ACM, 2021. 950–962. [doi: 10.1145/3466752.3480059]
[33] Xie L, Zhai JD, Zhang ZX, Allcock J, Zhang SY, Zheng YC. Suppressing ZZ crosstalk of quantum computers through pulse and
scheduling co-optimization. In: Proc. of the 27th ACM Int’l Conf. on Architectural Support for Programming Languages and Operating
Systems. Lausanne: ACM, 2022. 499–513. [doi: 10.1145/3503222.3507761]
[34] Bichsel B, Baader M, Gehr T, Vechev M. Silq: A high-level quantum language with safe uncomputation and intuitive semantics. In: Proc.
of the 41st ACM SIGPLAN Conf. on Programming Language Design and Implementation. London: ACM, 2020. 286–300. [doi: 10.1145/
3385412.3386007]
[35] Xu A, Molavi A, Pick L, Tannu S, Albarghouthi A. Synthesizing quantum-circuit optimizers. Proc. of the ACM on Programming
Languages, 2023, 7(PLDI): 140. [doi: 10.1145/3591254]
[36] Zhou L, Yu NK, Ying MS. An applied quantum Hoare logic. In: Proc. of the 40th ACM SIGPLAN Conf. on Programming Language
Design and Implementation. Phoenix: ACM, 2019. 1149–1162. [doi: 10.1145/3314221.3314584]

附中文参考文献:
[2] 陈昭昀. 量子程序语言 QPanda 的设计及应用研究 [博士学位论文]. 合肥: 中国科学技术大学, 2021. [doi: 10.27517/d.cnki.gzkju.
2021.002170]
[4] 李晖, 韩子傲, 卢凯, 刘述娟, 鞠明媚. 改进量子位初始映射的综合 SWAP 优化策略. 计算机工程与应用, 2024, 60(14): 66–73. [doi:
10.3778/j.issn.1002-8331.2310-0211]
[9] 张健, 李弋, 彭鑫, 赵文耘. 正反例归纳合成 SQL 查询程序. 软件学报, 2023, 34(9): 4132–4152. http://www.jos.org.cn/1000-9825/6646.
htm [doi: 10.13328/j.cnki.jos.006646]
[12] 张鑫. 量子编程与线路优化的研究与实现 [硕士学位论文]. 重庆: 重庆大学, 2019. [doi: 10.27670/d.cnki.gcqdu.2019.002616]
[13] 谢磊, 翟季冬. 量子计算系统软件研究综述. 软件学报, 2024, 35(1): 1–18. http://www.jos.org.cn/1000-9825/6908.htm [doi: 10.13328/
j.cnki.jos.006908]
[31] 窦星磊, 刘磊, 陈岳涛. 面向超导量子计算机的程序映射技术研究. 计算机研究与发展, 2021, 58(9): 1856–1874. [doi: 10.7544/
issn1000-1239.2021.20210314]

谭思危(1997－), 男, 博士, CCF 专业会员, 主要 陈明帅(1990－), 男, 博士, 研究员, 博士生导师,
研究领域为量子计算, 计算机体系结构. CCF 高级会员, 主要研究领域为形式化方法, 程
序验证与合成.

卢丽强(1994－), 男, 博士, 研究员, 博士生导师, 尹建伟(1974－), 男, 博士, 教授, 博士生导师,
CCF 专业会员, 主要研究领域为量子计算, 人工 CCF 杰出会员, 主要研究领域为软件工程, 量子
智能芯片. 计算.

郎聪亮(2000－), 男, 硕士生, 主要研究领域为量
子计算.