Publications
model checking
Model Checking Quantum Systems: Principles and Algorithms
M Ying, Y Feng
Cambridge University Press, 2021
Equivalence checking and verification
Decision Diagrams for Symbolic Verification of Quantum Circuits
Xin Hong, Wei-Jia Huang, Wei-Chen Chien, Yuan Feng, Min-Hsiu Hsieh, Sanjiang Li, Chia-Shun Yeh and Mingsheng Ying
IEEE International Conference on Quantum Computing and Engineering (QCE) 2023 (arXiv:2308.00440)
Verification of Nondeterministic Quantum Programs
Yuan Feng and Yingte Xu
ASPLOS (3) 2023: 789-805
Equivalence checking of dynamic quantum circuits
X Hong, Y Feng, S Li, M Ying
Proceedings of the 41th International Conference on Computer-Aided Design, 2022
A Tensor Network based Decision Diagram for Representation of Quantum Circuits
X Hong, X Zhou, S Li, Y Feng, M Ying
ACM Transactions on Design Automation of Electronic Systems, 27, 6, Article 60 (November 2022), 30 pages. arXiv:2009.02618 (2020)[code]
Verification of Distributed Quantum Programs
Y Feng, S Li, M Ying
ACM Transactions on Transactions on Computational Logic, 23 (3), 1-40, 2022
Approximate Equivalence Checking of Noisy Quantum Circuits
X Hong, M Ying, Y Feng, X Zhou, S Li
DAC 2021: 637-642. arXiv:2103.11595(2021)[code]
Qubit mapping
Single-Qubit Gates Matter for Optimising Quantum Circuit Depth in Qubit Mapping
Sanjiang Li, Ky Dan Nguyen, Zachary Clare, Yuan Feng
ICCAD 2023. arxiv:2308.00876 [code]
Supervised Learning Enhanced Quantum Circuit Transformation
X Zhou, Y Feng, S Li
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 42(2): 437-447 (2023) https://arxiv.org/abs/2110.03057
Quantum Circuit Transformation: A Monte Carlo Tree Search Framework.
X Zhou, Y Feng, S Li
ACM Transactions on Design Automation of Electronic Systems, 27, 6, Article 59 (November 2022), 27 pages. (This is a significant extension of our ICCAD'20 paper)
Qubit mapping based on subgraph isomorphism and filtered depth-limited search
S Li, X Zhou, Y Feng
IEEE Transactions on Computers, 70(11): 1777-1788 (2021) (arXiv:2004.07138) [code]
Quantum circuit transformation based on simulated annealing and heuristic search
X Zhou, S Li, Y Feng
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 39(12):4683-4694, 2020 (arXiv:1908.08853) [code]
A Monte Carlo tree search framework for quantum circuit transformation
X Zhou, Y Feng, S Li
Proceedings of the 39th International Conference on Computer-Aided Design, 1-7, 2020