Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, Zhihao Jia. Quartz: superoptimization of Quantum circuits. In Ranjit Jhala, Isil Dillig, editors, PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13 - 17, 2022. pages 625-640, ACM, 2022. [doi]
@inproceedings{XuLPLPHMPAAJ22,
title = {Quartz: superoptimization of Quantum circuits},
author = {Mingkuan Xu and Zikun Li and Oded Padon and Sina Lin and Jessica Pointing and Auguste Hirth and Henry Ma and Jens Palsberg and Alex Aiken and Umut A. Acar and Zhihao Jia},
year = {2022},
doi = {10.1145/3519939.3523433},
url = {https://doi.org/10.1145/3519939.3523433},
researchr = {https://researchr.org/publication/XuLPLPHMPAAJ22},
cites = {0},
citedby = {0},
pages = {625-640},
booktitle = {PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13 - 17, 2022},
editor = {Ranjit Jhala and Isil Dillig},
publisher = {ACM},
isbn = {978-1-4503-9265-5},
}