@inproceedings{6a048e9c97b744068348f9f548025994,
title = "Towards Efficient Reasoning of Quantum Programs",
abstract = "Qubit is the basic unit of information in quantum computing. It takes exponential time in the number of qubits to simulate the evolution of general quantum programs. This fact makes simulation infeasible beyond 50 qubits on current supercomputers. This observation motivates us to use static techniques to understand larger programs. We will briefly overview our recent efforts to develop static methods for quantum programming.",
keywords = "Abstract interpretation, Efficient reasoning, Quantum programs",
author = "Nengkun Yu",
note = "Publisher Copyright: {\textcopyright} 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.; 29th International Static Analysis Symposium, SAS 2022 ; Conference date: 05-12-2022 Through 07-12-2022",
year = "2022",
doi = "10.1007/978-3-031-22308-2\_2",
language = "English",
isbn = "9783031223075",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "10--15",
editor = "Gagandeep Singh and Caterina Urban",
booktitle = "Static Analysis - 29th International Symposium, SAS 2022, Proceedings",
}