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

3442 软件学报 2025 年第 36 卷第 8 期

[4] Li H, Han ZA, Lu K, Liu SJ, Ju MM. Comprehensive SWAP optimization strategy for improving initial qubit mapping. Computer
Engineering and Applications, 2024, 60(14): 66–73 (in Chinese with English abstract). [doi: 10.3778/j.issn.1002-8331.2310-0211]
[5] Wu TA, Jiang YJ, Fang SY. A robust quantum layout synthesis algorithm with a qubit mapping checker. In: Proc. of the 2022 IEEE/ACM
Int’l Conf. on Computer Aided Design. San Diego: IEEE, 2022. 1–9.
[6] Christensen M, Tzimpragos G, Kringen H, Volk J, Sherwood T, Hardekopf B. PyLSE: A pulse-transfer level language for superconductor
electronics. In: Proc. of the 43rd ACM SIGPLAN Int’l Conf. on Programming Language Design and Implementation. San Diego: ACM,
2022. 671–686. [doi: 10.1145/3519939.3523438]
[7] Gulwani S, Polozov O, Singh R. Program synthesis. Foundations and Trends® in Programming Languages, 2017, 4(1–2): 1–119. [doi: 10.
1561/2500000010]
[8] Wang CL, Cheung A, Bodik R. Synthesizing highly expressive SQL queries from input-output examples. In: Proc. of the 38th ACM
SIGPLAN Conf. on Programming Language Design and Implementation. Barcelona: ACM, 2017. 452–466. [doi: 10.1145/3062341.
3062365]
[9] Zhang J, Li Y, Peng X, Zhao WY. Inductive SQL synthesis with positive and negative tuples. Ruan Jian Xue Bao/Journal of Software,
2023, 34(9): 4132–4152 (in Chinese with English abstract). http://www.jos.org.cn/1000-9825/6646.htm [doi: 10.13328/j.cnki.jos.006646]
[10] Feser JK, Chaudhuri S, Dillig I. Synthesizing data structure transformations from input-output examples. ACM SIGPLAN Notices, 2015,
50(6): 229–239. [doi: 10.1145/2813885.2737977]
[11] Kang CG, Oh H. Modular component-based quantum circuit synthesis. Proc. of the ACM on Programming Languages, 2023,
7(OOPSLA1): 87. [doi: 10.1145/3586039]
[12] Zhang X. Research and implementation of quantum programming and circuit optimization [MS. Thesis]. Chongqing: Chongqing
University, 2019 (in Chinese with English abstract). [doi: 10.27670/d.cnki.gcqdu.2019.002616]
[13] Xie L, Zhai JD. Survey on quantum computing system software. Ruan Jian Xue Bao/Journal of Software, 2024, 35(1): 1–18 (in Chinese
with English abstract). http://www.jos.org.cn/1000-9825/6908.htm [doi: 10.13328/j.cnki.jos.006908]
[14] Jang E, Choi S, Ro WW. Quixote: Improving fidelity of quantum program by independent execution of controlled gates. In: Proc. of the
60th ACM/IEEE Design Automation Conf. San Francisco: IEEE, 2023. 1–6. [doi: 10.1109/DAC56929.2023.10247757]
[15] Aleksandrowicz G, Alexander T, Barkoutsos P, et al. Qiskit: An open-source framework for quantum computing. 2019. https://zenodo.
org/records/2562111
[16] Omole V, Tyagi A, Carey C, Hanus A, Hancock A, Garcia A, Shedenhelm J, Cowen J. Cirq: A Python framework for creating, editing,
and invoking quantum circuits. 2020. https://sdmay20-08.sd.ece.iastate.edu/docs/Design-Document-v2.pdf
[17] Iten R, Colbeck R, Kukuljan I, Home J, Christandl M. Quantum circuits for isometries. Physical Review A, 2016, 93(3): 032318. [doi: 10.
1103/PhysRevA.93.032318]
[18] Shende VV, Bullock SS, Markov IL. Synthesis of quantum logic circuits. In: Proc. of the 2005 Asia and South Pacific Design Automation
Conf. Shanghai: IEEE, 2005. 272–275. [doi: 10.1109/ASPDAC.2005.1466172]
[19] Tan SW, Lang CL, Xiang L, Wang SD, Jia XH, Tan ZQ. QuCT: A framework for analyzing quantum circuit by extracting contextual and
topological features. In: Proc. of the 56th IEEE/ACM Int’l Symp. on Microarchitecture. Toronto: IEEE, 2023. 494–508.
[20] Paradis A, Dekoninck J, Bichsel B, Vechev M. Synthetiq: Fast and versatile quantum circuit synthesis. Proc. of the ACM on
Programming Languages, 2024, 8(OOPSLA1): 96. [doi: 10.1145/3649813]
[21] Davis MG, Smith E, Tudor A, Sen K, Siddiqi I, Iancu C. Towards optimal topology aware quantum circuit synthesis. In: Proc. of the 2020
IEEE Int’l Conf. on Quantum Computing and Engineering. Denver: IEEE, 2020. 223–234. [doi: 10.1109/QCE49297.2020.00036]
[22] Sutton BD. Computing the complete CS decomposition. Numerical Algorithms, 2009, 50(1): 33–65. [doi: 10.1007/s11075-008-9215-6]
[23] Dawson CM, Nielsen MA. The Solovay-Kitaev algorithm. Quantum Information & Computation, 2006, 6(1): 81–95.
[24] Jiang M. Channel-state duality. Physical Review A, 2013, 87(2): 022310. [doi: 10.1103/PhysRevA.87.022310]
[25] Schutski R, Lykov D, Oseledets I. Adaptive algorithm for quantum circuit simulation. Physical Review A, 2020, 101(4): 042335. [doi: 10.
1103/PhysRevA.101.042335]
[26] Bocharov A, Roetteler M, Svore KM. Efficient synthesis of universal repeat-until-success quantum circuits. Physical Review Letters,
2015, 114(8): 080502. [doi: 10.1103/PhysRevLett.114.080502]
[27] Soeken M, Miller DM, Drechsler R. Quantum circuits employing roots of the pauli matrices. Physical Review A, 2013, 88(4): 042322.
[doi: 10.1103/PhysRevA.88.042322]
[28] Malvetti E, Iten R, Colbeck R. Quantum circuits for sparse isometries. Quantum, 2021, 5: 412. [doi: 10.22331/q-2021-03-15-412]
[29] Peham T, Burgholzer L, Wille R. Equivalence checking paradigms in quantum circuit design: A case study. In: Proc. of the 59th
ACM/IEEE Design Automation Conf. San Francisco: ACM, 2022. 517–522. [doi: 10.1145/3489517.3530480]
[30] Li ZK, Peng JJ, Mei YX, Lin SN, Wu Y, Padon O, Jia ZH. Quarl: A learning-based quantum circuit optimizer. Proc. of the ACM on