@inproceedings{carette-2023-symbolic, series={POPL ’23}, title={Symbolic Execution of Hadamard-Toffoli Quantum Circuits}, url={http://dx.doi.org/10.1145/3571786.3573018}, DOI={10.1145/3571786.3573018}, booktitle={Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation}, publisher={ACM}, author={Carette, Jacques and Ortiz, Gerardo and Sabry, Amr}, year={2023}, month=Jan, pages={14–26}, collection={POPL ’23} }