Conference
Symbolic Execution of Hadamard-Toffoli Quantum Circuits
Abstract
The simulation of quantum programs by classical computers is a critical endeavor for several reasons: it provides proof-of-concept validation of quantum algorithms; it provides opportunities to experiment with new programming abstractions suitable for the quantum domain; and most significantly it is a way to explore the elusive boundary at which a quantum advantage may materialize. Here, we show that traditional techniques of symbolic …
Authors
Carette J; Ortiz G; Sabry A
Pagination
pp. 14-26
Publisher
Association for Computing Machinery (ACM)
Publication Date
January 15, 2023
DOI
10.1145/3571786.3573018
Name of conference
Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation