{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T01:37:48Z","timestamp":1773193068837,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,6,18]],"date-time":"2021-06-18T00:00:00Z","timestamp":1623974400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,6,19]]},"DOI":"10.1145\/3453483.3454040","type":"proceedings-article","created":{"date-parts":[[2021,6,24]],"date-time":"2021-06-24T16:58:48Z","timestamp":1624553928000},"page":"222-236","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":26,"title":["Unqomp: synthesizing uncomputation in Quantum circuits"],"prefix":"10.1145","author":[{"given":"Anouk","family":"Paradis","sequence":"first","affiliation":[{"name":"ETH Zurich, Switzerland"}]},{"given":"Benjamin","family":"Bichsel","sequence":"additional","affiliation":[{"name":"ETH Zurich, Switzerland"}]},{"given":"Samuel","family":"Steffen","sequence":"additional","affiliation":[{"name":"ETH Zurich, Switzerland"}]},{"given":"Martin","family":"Vechev","sequence":"additional","affiliation":[{"name":"ETH Zurich, Switzerland"}]}],"member":"320","published-online":{"date-parts":[[2021,6,18]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"Compilers: Principles, Techniques, and Tools","author":"Aho Alfred","year":"2006","unstructured":"Alfred Aho , Monica Lam , Ravi Sethi , and Jeffrey Ullman . 2006 . Compilers: Principles, Techniques, and Tools ( 2 nd edition ed.). Addison Wesley , Boston . isbn:978-0-321-48681-3 Alfred Aho, Monica Lam, Ravi Sethi, and Jeffrey Ullman. 2006. Compilers: Principles, Techniques, and Tools (2nd edition ed.). Addison Wesley, Boston. isbn:978-0-321-48681-3","edition":"2"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.2562110"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63390-9_1"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.52.3457"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1147\/rd.176.0525"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386007"},{"key":"e_1_3_2_2_7_1","unstructured":"Cirq Development Team. 2020. Cirq Circuit Examples. https:\/\/github.com\/quantumlib\/Cirq Accessed: 2020-10-29.  Cirq Development Team. 2020. Cirq Circuit Examples. https:\/\/github.com\/quantumlib\/Cirq Accessed: 2020-10-29."},{"key":"e_1_3_2_2_8_1","volume-title":"Introduction to algorithms","author":"Cormen Thomas H","unstructured":"Thomas H Cormen , Charles E Leiserson , Ronald L Rivest , and Clifford Stein . 2009. Introduction to algorithms . MIT press . Thomas H Cormen, Charles E Leiserson, Ronald L Rivest, and Clifford Stein. 2009. Introduction to algorithms. MIT press."},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA45697.2020.00054"},{"key":"e_1_3_2_2_10_1","unstructured":"Lucas Dixon and Ross Duncan. 2009. Graphical Reasoning in Compact Closed Categories for Quantum Computation. arXiv:0902.0514 [cs] Feb. arxiv:0902.0514 arXiv: 0902.0514.  Lucas Dixon and Ross Duncan. 2009. Graphical Reasoning in Compact Closed Categories for Quantum Computation. arXiv:0902.0514 [cs] Feb. arxiv:0902.0514 arXiv: 0902.0514."},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14162-1_24"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/24039.24041"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462177"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/368996.369025"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29517-1_8"},{"key":"e_1_3_2_2_16_1","volume-title":"Chuang","author":"Nielsen Michael A.","year":"2010","unstructured":"Michael A. Nielsen and Isaac L . Chuang . 2010 . Quantum computation and quantum information (10th anniversary ed ed.). Cambridge University Press , Cambridge ; New York. isbn:978-1-107-00217-3 Michael A. Nielsen and Isaac L. Chuang. 2010. Quantum computation and quantum information (10th anniversary ed ed.). Cambridge University Press, Cambridge ; New York. isbn:978-1-107-00217-3"},{"key":"e_1_3_2_2_17_1","volume-title":"Svore","author":"Parent Alex","year":"2015","unstructured":"Alex Parent , Martin Roetteler , and Krysta M . Svore . 2015 . Reversible Circuit Compilation with Space Constraints . arXiv:1510.00377 [quant-ph], Oct., arxiv:1510.00377 arXiv: 1510.00377. Alex Parent, Martin Roetteler, and Krysta M. Svore. 2015. Reversible Circuit Compilation with Space Constraints. arXiv:1510.00377 [quant-ph], Oct., arxiv:1510.00377 arXiv: 1510.00377."},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/330249.330250"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.22331\/q-2018-08-06-79"},{"key":"e_1_3_2_2_20_1","unstructured":"Qiskit Development Team. 2020. Qiskit Circuit Library. https:\/\/qiskit.org\/documentation\/apidoc\/circuit_library.html Accessed: 2020-10-27.  Qiskit Development Team. 2020. Qiskit Circuit Library. https:\/\/qiskit.org\/documentation\/apidoc\/circuit_library.html Accessed: 2020-10-27."},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.287.17"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183895.3183901"},{"key":"e_1_3_2_2_23_1","unstructured":"Google AI Quantum Team. 2017. Cirq. https:\/\/github.com\/quantumlib\/Cirq  Google AI Quantum Team. 2017. Cirq. https:\/\/github.com\/quantumlib\/Cirq"},{"key":"e_1_3_2_2_24_1","unstructured":"Umesh Vazirani. 2013. Quantum Mechanics and Quantum Computation (CS191x). Online Lecture (Lecture 7). https:\/\/www.youtube.com\/watch?v=XPkKRBk71TY&list=PLDAjb_zu5aoFazE31_8yT0OfzsTcmvAVg&index=30  Umesh Vazirani. 2013. Quantum Mechanics and Quantum Computation (CS191x). Online Lecture (Lecture 7). https:\/\/www.youtube.com\/watch?v=XPkKRBk71TY&list=PLDAjb_zu5aoFazE31_8yT0OfzsTcmvAVg&index=30"}],"event":{"name":"PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation","location":"Virtual Canada","acronym":"PLDI '21","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3453483.3454040","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3453483.3454040","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:03:07Z","timestamp":1750197787000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3453483.3454040"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,18]]},"references-count":24,"alternative-id":["10.1145\/3453483.3454040","10.1145\/3453483"],"URL":"https:\/\/doi.org\/10.1145\/3453483.3454040","relation":{},"subject":[],"published":{"date-parts":[[2021,6,18]]},"assertion":[{"value":"2021-06-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}