{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,5]],"date-time":"2026-08-05T18:03:44Z","timestamp":1785953024443,"version":"3.56.0"},"publisher-location":"New York, NY, USA","reference-count":48,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,2,22]],"date-time":"2022-02-22T00:00:00Z","timestamp":1645488000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,2,28]]},"DOI":"10.1145\/3503222.3507739","type":"proceedings-article","created":{"date-parts":[[2022,2,22]],"date-time":"2022-02-22T20:49:01Z","timestamp":1645562941000},"page":"514-528","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":43,"title":["QUEST: systematically approximating Quantum circuits for higher output fidelity"],"prefix":"10.1145","author":[{"given":"Tirthak","family":"Patel","sequence":"first","affiliation":[{"name":"Northeastern University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ed","family":"Younis","sequence":"additional","affiliation":[{"name":"Lawrence Berkeley National Laboratory, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Costin","family":"Iancu","sequence":"additional","affiliation":[{"name":"Lawrence Berkeley National Laboratory, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Wibe","family":"de Jong","sequence":"additional","affiliation":[{"name":"Lawrence Berkeley National Laboratory, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Devesh","family":"Tiwari","sequence":"additional","affiliation":[{"name":"Northeastern University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2022,2,22]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"https:\/\/github.com\/BQSKit. BQSKit: Berkeley Quantum Synthesis Toolkit."},{"key":"e_1_3_2_1_2_1","unstructured":"G Aleksandrowicz T Alexander P Barkoutsos L Bello Y Ben-Haim and D Bucher. [n.d.]. Qiskit: An Open-source Framework for Quantum Computing.(2019)."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2013.2244643"},{"key":"e_1_3_2_1_4_1","unstructured":"Lindsay Bassman Connor Powers and Wibe A de Jong. 2021. ArQTiC: A Full-Stack Software Package for Simulating Materials on Quantum Computers. arXiv preprint arXiv:2106.04749."},{"key":"e_1_3_2_1_5_1","series-title":"SIAM Journal on computing, 26, 5","volume-title":"Quantum Complexity Theory","author":"Bernstein Ethan","year":"1997","unstructured":"Ethan Bernstein and Umesh Vazirani. 1997. Quantum Complexity Theory. SIAM Journal on computing, 26, 5 (1997), 1411\u20131473."},{"key":"e_1_3_2_1_6_1","volume-title":"Quantum Advantage with Shallow Circuits. Science, 362, 6412","author":"Bravyi Sergey","year":"2018","unstructured":"Sergey Bravyi, David Gosset, and Robert K\u00f6nig. 2018. Quantum Advantage with Shallow Circuits. Science, 362, 6412 (2018), 308\u2013311."},{"key":"e_1_3_2_1_7_1","volume-title":"Measure for the Degree of Non-Markovian Behavior of Quantum Processes in Open Systems. Physical review letters, 103, 21","author":"Breuer Heinz-Peter","year":"2009","unstructured":"Heinz-Peter Breuer, Elsi-Mari Laine, and Jyrki Piilo. 2009. Measure for the Degree of Non-Markovian Behavior of Quantum Processes in Open Systems. Physical review letters, 103, 21 (2009), 210401."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1038\/nature.2017.21585"},{"key":"e_1_3_2_1_9_1","unstructured":"Steven A Cuccaro Thomas G Draper Samuel A Kutin and David Petrie Moulton. 2004. A New Quantum Ripple-Carry Addition Circuit. arXiv preprint quant-ph\/0410184."},{"key":"e_1_3_2_1_10_1","volume-title":"Towards Optimal Topology Aware Quantum Circuit Synthesis. In 2020 IEEE International Conference on Quantum Computing and Engineering (QCE). 223\u2013234","author":"Davis Marc G","year":"2020","unstructured":"Marc G Davis, Ethan Smith, Ana Tudor, Koushik Sen, Irfan Siddiqi, and Costin Iancu. 2020. Towards Optimal Topology Aware Quantum Circuit Synthesis. In 2020 IEEE International Conference on Quantum Computing and Engineering (QCE). 223\u2013234."},{"key":"e_1_3_2_1_11_1","volume-title":"Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences, 425","author":"Deutsch David Elieser","year":"1989","unstructured":"David Elieser Deutsch. 1989. Quantum Computational Networks. Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences, 425, 1868 (1989), 73\u201390."},{"key":"e_1_3_2_1_12_1","unstructured":"Edward Farhi and Aram W Harrow. 2016. Quantum Supremacy through the Quantum Approximate Optimization Algorithm. arXiv preprint arXiv:1602.07674."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.71.062310"},{"key":"e_1_3_2_1_14_1","volume-title":"Jacob Shedenhelm, Jordan Cowen, and Calista Carey.","author":"Hancock Andrew","year":"2019","unstructured":"Andrew Hancock, Austin Garcia, Jacob Shedenhelm, Jordan Cowen, and Calista Carey. 2019. Cirq: A Python Framework for Creating, Editing, and Invoking Quantum Circuits. URL https:\/\/github.com\/quantumlib\/Cirq."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.93.032318"},{"key":"e_1_3_2_1_16_1","volume-title":"Ravjot Singh Kohli, and Roger Colbeck","author":"Iten Raban","year":"2019","unstructured":"Raban Iten, Oliver Reardon-Smith, Emanuel Malvetti, Luca Mondada, Gabrielle Pauvert, Ethan Redmond, Ravjot Singh Kohli, and Roger Colbeck. 2019. Introduction to UniversalQCompiler. arXiv preprint arXiv:1904.01072."},{"key":"e_1_3_2_1_17_1","volume-title":"SciPy: Open Source Scientific Tools for Python","author":"Jones Eric","year":"2001","unstructured":"Eric Jones, Travis Oliphant, and Pearu Peterson. 2016. SciPy: Open Source Scientific Tools for Python, 2001."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.22331\/q-2019-05-13-140"},{"key":"e_1_3_2_1_19_1","unstructured":"Aleks Kissinger and Arianne Meijer-van de Griend. 2019. CNOT Circuit Extraction for Topologically-Constrained Quantum Memories. arXiv preprint arXiv:1904.00633."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"Alexei Yu Kitaev Alexander Shen Mikhail N Vyalyi and Mikhail N Vyalyi. 2002. Classical and Quantum Computation. American Mathematical Soc..","DOI":"10.1090\/gsm\/047"},{"key":"e_1_3_2_1_21_1","volume-title":"Asymptotically Optimal Topological Quantum Compiling. Physical review letters, 112, 14","author":"Kliuchnikov Vadym","year":"2014","unstructured":"Vadym Kliuchnikov, Alex Bocharov, and Krysta M Svore. 2014. Asymptotically Optimal Topological Quantum Compiling. Physical review letters, 112, 14 (2014), 140504."},{"key":"e_1_3_2_1_22_1","unstructured":"Ang Li and Sriram Krishnamoorthy. 2020. QASMBench: A Low-Level qasm Benchmark Suite for NISQ Evaluation and Simulation. arXiv preprint arXiv:2005.13018."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304023"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"Liam Madden and Andrea Simonetto. 2021. Best Approximate Quantum Compiling Problems. arXiv preprint arXiv:2106.05649.","DOI":"10.1109\/QCE53715.2022.00071"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1088\/1367-2630\/18\/6\/063029"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1088\/1367-2630\/18\/2\/023023"},{"key":"e_1_3_2_1_27_1","unstructured":"David C McKay Thomas Alexander Luciano Bello Michael J Biercuk Lev Bishop Jiayin Chen Jerry M Chow Antonio D C\u00f3rcoles Daniel Egger and Stefan Filipp. 2018. Qiskit Backend Specifications for OpenQASM and OpenPulse Experiments. arXiv preprint arXiv:1809.03452."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304075"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373376.3378477"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1093\/imamat\/25.3.241"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/ab79b1"},{"key":"e_1_3_2_1_32_1","unstructured":"Michael A Nielsen and Isaac L Chuang. 2010. Frontmatter. i\u2013viii pages."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"crossref","unstructured":"Tirthak Patel and Devesh Tiwari. 2020. Veritas: Accurately Estimating the Correct Output on Noisy Intermediate-Scale Quantum Computers. In 2020 SC20: International Conference for High Performance Computing Networking Storage and Analysis (SC). 188\u2013203.","DOI":"10.1109\/SC41405.2020.00019"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.22331\/q-2018-08-06-79"},{"key":"e_1_3_2_1_35_1","volume-title":"Transactions on","author":"Regan Kenneth","unstructured":"Kenneth Regan, Amlan Chakrabarti, and Chaowen Guan. 2018. Algebraic and Logical Emulations of Quantum Circuits. In Transactions on Computational Science XXXI. Springer, 41\u201376."},{"key":"e_1_3_2_1_36_1","volume-title":"A Dual Temperature Simulated Annealing Approach for Solving Bilevel Programming Problems. Computers & chemical engineering, 23, 1","author":"Sahin Kemal H","year":"1998","unstructured":"Kemal H Sahin and Amy R Ciric. 1998. A Dual Temperature Simulated Annealing Approach for Solving Bilevel Programming Problems. Computers & chemical engineering, 23, 1 (1998), 11\u201325."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.855930"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304018"},{"key":"e_1_3_2_1_39_1","volume-title":"Costin Iancu, and Wim Lavrijsen.","author":"Smith Ethan","year":"2021","unstructured":"Ethan Smith, Marc G Davis, Jeffrey M Larson, Ed Younis, Costin Iancu, and Wim Lavrijsen. 2021. LEAP: Scaling Numerical Optimization Based Synthesis Using an Incremental Approach. arXiv preprint arXiv:2106.11246."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3307650.3322262"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3352460.3358257"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304007"},{"key":"e_1_3_2_1_43_1","unstructured":"Robert R Tucci. 2005. An introduction to Cartan\u2019s KAK decomposition for QC programmers. arXiv preprint quant-ph\/0507171."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1080\/00029890.1994.11996973"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3316781.3317859"},{"key":"e_1_3_2_1_46_1","volume-title":"QFAST: Conflating Search and Numerical Optimization for Scalable Quantum Circuit Synthesis. arXiv preprint arXiv:2103.07093.","author":"Younis Ed","year":"2021","unstructured":"Ed Younis, Koushik Sen, Katherine Yelick, and Costin Iancu. 2021. QFAST: Conflating Search and Numerical Optimization for Scalable Quantum Circuit Synthesis. arXiv preprint arXiv:2103.07093."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446706"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3287624.3287704"}],"event":{"name":"ASPLOS '22: 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems","location":"Lausanne Switzerland","acronym":"ASPLOS '22","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGOPS ACM Special Interest Group on Operating Systems","SIGARCH ACM Special Interest Group on Computer Architecture","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3503222.3507739","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3503222.3507739","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:11:40Z","timestamp":1750191100000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3503222.3507739"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,2,22]]},"references-count":48,"alternative-id":["10.1145\/3503222.3507739","10.1145\/3503222"],"URL":"https:\/\/doi.org\/10.1145\/3503222.3507739","relation":{},"subject":[],"published":{"date-parts":[[2022,2,22]]},"assertion":[{"value":"2022-02-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}